%0 Conference Paper %1 conf/cav/DasLLL15 %A Das, Ankush %A Lahiri, Shuvendu K. %A Lal, Akash %A Li, Yi %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 324-342 %T Angelic Verification: Precise Verification Modulo Unknowns. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DasLLL15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/DasLLL15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Das, Ankush and Lahiri, Shuvendu K. and Lal, Akash and Li, Yi}, biburl = {https://www.bibsonomy.org/bibtex/22f6e221d852beb2f81ca637f86159e01/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://doi.org/10.1007/978-3-319-21690-4_19}, interhash = {6cd282b38af349770a859320bce44f76}, intrahash = {2f6e221d852beb2f81ca637f86159e01}, isbn = {978-3-319-21689-8}, keywords = {dblp}, pages = {324-342}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:56:39.000+0200}, title = {Angelic Verification: Precise Verification Modulo Unknowns.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#DasLLL15}, volume = 9206, year = 2015 }