%0 Conference Paper %1 conf/fmics/Distefano09 %A Distefano, Dino %B FMICS %D 2009 %E Alpuente, María %E Cook, Byron %E Joubert, Christophe %I Springer %K dblp %P 1-8 %T Attacking Large Industrial Code with Bi-abductive Inference. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2009.html#Distefano09 %V 5825 %@ 978-3-642-04569-1

@inproceedings{conf/fmics/Distefano09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Distefano, Dino}, biburl = {https://www.bibsonomy.org/bibtex/2b5e8ce5670aa7bd7c42de432487c74ab/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2009}, editor = {Alpuente, María and Cook, Byron and Joubert, Christophe}, ee = {https://doi.org/10.1007/978-3-642-04570-7_1}, interhash = {2042c6a97ff594670362450526a47c7b}, intrahash = {b5e8ce5670aa7bd7c42de432487c74ab}, isbn = {978-3-642-04569-1}, keywords = {dblp}, pages = {1-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:56:14.000+0200}, title = {Attacking Large Industrial Code with Bi-abductive Inference.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2009.html#Distefano09}, volume = 5825, year = 2009 }