%0 Conference Paper %1 conf/cade/DSilvaU15 %A D'Silva, Vijay %A Urban, Caterina %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K dblp %P 450-464 %T Abstract Interpretation as Automated Deduction. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#DSilvaU15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/DSilvaU15, added-at = {2017-05-21T00:00:00.000+0200}, author = {D'Silva, Vijay and Urban, Caterina}, biburl = {https://www.bibsonomy.org/bibtex/2fb2f529d8048417722d7b20f8f2412b7/dblp}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_31}, interhash = {2f2f89fc83f4806422b76f7e0ad6431f}, intrahash = {fb2f529d8048417722d7b20f8f2412b7}, isbn = {978-3-319-21400-9}, keywords = {dblp}, pages = {450-464}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:21.000+0200}, title = {Abstract Interpretation as Automated Deduction.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#DSilvaU15}, volume = 9195, year = 2015 }