%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 %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 = {2023-12-12T17:36:26.000+0100}, author = {Cousot, Patrick and Cousot, Radhia and Fähndrich, Manuel and Logozzo, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2acb99895ceb95ccf14b96cab87ff0f78/admin}, 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 = {}, pages = {128-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:36:26.000+0100}, title = {Automatic Inference of Necessary Preconditions.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2013.html#CousotCFL13}, volume = 7737, year = 2013 }