%0 Conference Paper %1 conf/caepia/CeballosGVB05 %A Ceballos, Rafael %A Gasca, Rafael M. %A Valle, Carmelo Del %A Borrego, Diana %B CAEPIA %D 2005 %E Marín, Roque %E Onaindia, Eva %E Bugarín, Alberto %E Reyes, José Santos %I Springer %K dblp %P 200-210 %T Diagnosing Errors in DbC Programs Using Constraint Programming. %U http://dblp.uni-trier.de/db/conf/caepia/caepia2005.html#CeballosGVB05 %V 4177 %@ 3-540-45914-6

@inproceedings{conf/caepia/CeballosGVB05, added-at = {2020-12-29T00:00:00.000+0100}, author = {Ceballos, Rafael and Gasca, Rafael M. and Valle, Carmelo Del and Borrego, Diana}, biburl = {https://www.bibsonomy.org/bibtex/289a84e39fd817cb7740cfdd1efb8caea/dblp}, booktitle = {CAEPIA}, crossref = {conf/caepia/2005}, editor = {Marín, Roque and Onaindia, Eva and Bugarín, Alberto and Reyes, José Santos}, ee = {https://doi.org/10.1007/11881216_22}, interhash = {faf408212b217d71228e08c7e51ed0e3}, intrahash = {89a84e39fd817cb7740cfdd1efb8caea}, isbn = {3-540-45914-6}, keywords = {dblp}, pages = {200-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:33:14.000+0200}, title = {Diagnosing Errors in DbC Programs Using Constraint Programming.}, url = {http://dblp.uni-trier.de/db/conf/caepia/caepia2005.html#CeballosGVB05}, volume = 4177, year = 2005 }