%0 Conference Paper %1 conf/vstte/TanTGN15 %A Tan, Jiaqi %A Tay, Hui Jun %A Gandhi, Rajeev %A Narasimhan, Priya %B VSTTE %D 2015 %E Gurfinkel, Arie %E Seshia, Sanjit A. %I Springer %K dblp %P 202-222 %T AUSPICE: Automatic Safety Property Verification for Unmodified Executables. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#TanTGN15 %V 9593 %@ 978-3-319-29612-8

@inproceedings{conf/vstte/TanTGN15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Tan, Jiaqi and Tay, Hui Jun and Gandhi, Rajeev and Narasimhan, Priya}, biburl = {https://www.bibsonomy.org/bibtex/2564d790b01b7e34e7654d40e762b306a/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2015}, editor = {Gurfinkel, Arie and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-319-29613-5_12}, interhash = {5f06d70f2870358f4adcd935b562d852}, intrahash = {564d790b01b7e34e7654d40e762b306a}, isbn = {978-3-319-29612-8}, keywords = {dblp}, pages = {202-222}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:18.000+0200}, title = {AUSPICE: Automatic Safety Property Verification for Unmodified Executables.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#TanTGN15}, volume = 9593, year = 2015 }