%0 Conference Paper %1 conf/cade/BoutonODF09 %A Bouton, Thomas %A Oliveira, Diego Caminha Barbosa De %A Déharbe, David %A Fontaine, Pascal %B CADE %D 2009 %E Schmidt, Renate A. %I Springer %K dblp %P 151-156 %T veriT: An Open, Trustable and Efficient SMT-Solver. %U http://dblp.uni-trier.de/db/conf/cade/cade2009.html#BoutonODF09 %V 5663 %@ 978-3-642-02958-5

@inproceedings{conf/cade/BoutonODF09, added-at = {2016-07-11T00:00:00.000+0200}, author = {Bouton, Thomas and Oliveira, Diego Caminha Barbosa De and Déharbe, David and Fontaine, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/2ff303f2f1021df7f63c63525047c740d/dblp}, booktitle = {CADE}, crossref = {conf/cade/2009}, editor = {Schmidt, Renate A.}, ee = {http://dx.doi.org/10.1007/978-3-642-02959-2_12}, interhash = {10ba9862c241856363cd918363111242}, intrahash = {ff303f2f1021df7f63c63525047c740d}, isbn = {978-3-642-02958-5}, keywords = {dblp}, pages = {151-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-07-12T11:54:08.000+0200}, title = {veriT: An Open, Trustable and Efficient SMT-Solver.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2009.html#BoutonODF09}, volume = 5663, year = 2009 }