%0 Conference Paper %1 conf/sigsoft/CeballosGB05 %A Ceballos, Rafael %A Gasca, Rafael Martinez %A Borrego, Diana %B SAVCBS@ESEC/FSE %D 2005 %E Leavens, Gary T. %I ACM %K dblp %P 11 %T Constraint satisfaction techniques for diagnosing errors in design by contract software. %U http://dblp.uni-trier.de/db/conf/sigsoft/savcbs2005.html#CeballosGB05

@inproceedings{conf/sigsoft/CeballosGB05, added-at = {2022-04-09T00:00:00.000+0200}, author = {Ceballos, Rafael and Gasca, Rafael Martinez and Borrego, Diana}, biburl = {https://www.bibsonomy.org/bibtex/215583990e592489566042f754d3fb412/dblp}, booktitle = {SAVCBS@ESEC/FSE}, crossref = {conf/sigsoft/2005savcbs}, editor = {Leavens, Gary T.}, ee = {https://doi.org/10.1145/1123058.1123070}, interhash = {a54005365636728256c0fabac262cb24}, intrahash = {15583990e592489566042f754d3fb412}, keywords = {dblp}, pages = 11, publisher = {ACM}, timestamp = {2024-04-09T17:52:50.000+0200}, title = {Constraint satisfaction techniques for diagnosing errors in design by contract software.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/savcbs2005.html#CeballosGB05}, year = 2005 }