%0 Conference Paper %1 conf/rv/JaffarNS11 %A Jaffar, Joxan %A Navas, Jorge A. %A Santosa, Andrew E. %B RV %D 2011 %E Khurshid, Sarfraz %E Sen, Koushik %I Springer %K dblp %P 396-411 %T Unbounded Symbolic Execution for Program Verification. %U http://dblp.uni-trier.de/db/conf/rv/rv2011.html#JaffarNS11 %V 7186 %@ 978-3-642-29859-2

@inproceedings{conf/rv/JaffarNS11, added-at = {2017-05-17T00:00:00.000+0200}, author = {Jaffar, Joxan and Navas, Jorge A. and Santosa, Andrew E.}, biburl = {https://www.bibsonomy.org/bibtex/2ddc64c7328e6d162a569b76e89603335/dblp}, booktitle = {RV}, crossref = {conf/rv/2011}, editor = {Khurshid, Sarfraz and Sen, Koushik}, ee = {https://doi.org/10.1007/978-3-642-29860-8_32}, interhash = {5fe0885986e9fd74d0c4cc817c12a7d6}, intrahash = {ddc64c7328e6d162a569b76e89603335}, isbn = {978-3-642-29859-2}, keywords = {dblp}, pages = {396-411}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:18.000+0200}, title = {Unbounded Symbolic Execution for Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2011.html#JaffarNS11}, volume = 7186, year = 2011 }