%0 Conference Paper %1 conf/vmcai/CousotCFL13 %A Cousot, Patrick %A Cousot, Radhia %A Fähndrich, Manuel %A Logozzo, Francesco %B VMCAI %D 2013 %E Giacobazzi, Roberto %E Berdine, Josh %E Mastroeni, Isabella %I Springer %K dblp %P 128-148 %T Automatic Inference of Necessary Preconditions. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#CousotCFL13 %V 7737 %@ 978-3-642-35873-9

@inproceedings{conf/vmcai/CousotCFL13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cousot, Patrick and Cousot, Radhia and Fähndrich, Manuel and Logozzo, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2acb99895ceb95ccf14b96cab87ff0f78/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2013}, editor = {Giacobazzi, Roberto and Berdine, Josh and Mastroeni, Isabella}, ee = {https://doi.org/10.1007/978-3-642-35873-9_10}, interhash = {0621227c3904c3ad26e0e8d6cefad82d}, intrahash = {acb99895ceb95ccf14b96cab87ff0f78}, isbn = {978-3-642-35873-9}, keywords = {dblp}, pages = {128-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:12.000+0200}, title = {Automatic Inference of Necessary Preconditions.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#CousotCFL13}, volume = 7737, year = 2013 }