%0 Conference Paper %1 conf/cav/JaffarMNS12 %A Jaffar, Joxan %A Murali, Vijayaraghavan %A Navas, Jorge A. %A Santosa, Andrew E. %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K dblp %P 758-766 %T TRACER: A Symbolic Execution Tool for Verification. %U http://dblp.uni-trier.de/db/conf/cav/cav2012.html#JaffarMNS12 %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/JaffarMNS12, added-at = {2018-10-03T00:00:00.000+0200}, author = {Jaffar, Joxan and Murali, Vijayaraghavan and Navas, Jorge A. and Santosa, Andrew E.}, biburl = {https://www.bibsonomy.org/bibtex/271971b2bd3932adf0a25ab2e7c0f877c/dblp}, booktitle = {CAV}, crossref = {conf/cav/2012}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_61}, interhash = {835ffa171e713af486aa56c4dee0522b}, intrahash = {71971b2bd3932adf0a25ab2e7c0f877c}, isbn = {978-3-642-31423-0}, keywords = {dblp}, pages = {758-766}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {TRACER: A Symbolic Execution Tool for Verification.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2012.html#JaffarMNS12}, volume = 7358, year = 2012 }