%0 Conference Paper %1 conf/cade/GeBT07 %A Ge, Yeting %A Barrett, Clark W. %A Tinelli, Cesare %B CADE %D 2007 %E Pfenning, Frank %I Springer %K dblp %P 167-182 %T Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. %U http://dblp.uni-trier.de/db/conf/cade/cade2007.html#GeBT07 %V 4603 %@ 978-3-540-73594-6

@inproceedings{conf/cade/GeBT07, added-at = {2019-06-24T00:00:00.000+0200}, author = {Ge, Yeting and Barrett, Clark W. and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2069a641cfbc29d9e221fccabcbf4742e/dblp}, booktitle = {CADE}, crossref = {conf/cade/2007}, editor = {Pfenning, Frank}, ee = {https://doi.org/10.1007/978-3-540-73595-3_12}, interhash = {f58bad0dece8935b8ed5733dd79c7325}, intrahash = {069a641cfbc29d9e221fccabcbf4742e}, isbn = {978-3-540-73594-6}, keywords = {dblp}, pages = {167-182}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-25T11:42:16.000+0200}, title = {Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2007.html#GeBT07}, volume = 4603, year = 2007 }