%0 Conference Paper %1 conf/hvc/BarrettMRST10 %A Barrett, Clark W. %A de Moura, Leonardo Mendonça %A Ranise, Silvio %A Stump, Aaron %A Tinelli, Cesare %B Haifa Verification Conference %D 2010 %E Barner, Sharon %E Harris, Ian G. %E Kroening, Daniel %E Raz, Orna %I Springer %K dblp %P 3 %T The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). %U http://dblp.uni-trier.de/db/conf/hvc/hvc2010.html#BarrettMRST10 %V 6504 %@ 978-3-642-19582-2

@inproceedings{conf/hvc/BarrettMRST10, added-at = {2019-09-25T00:00:00.000+0200}, author = {Barrett, Clark W. and de Moura, Leonardo Mendonça and Ranise, Silvio and Stump, Aaron and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/26f39495b6458ed52ef6b59f7a37eedf0/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2010}, editor = {Barner, Sharon and Harris, Ian G. and Kroening, Daniel and Raz, Orna}, ee = {https://doi.org/10.1007/978-3-642-19583-9_2}, interhash = {cb725002ecd0cba074ff86e91f90d9ed}, intrahash = {6f39495b6458ed52ef6b59f7a37eedf0}, isbn = {978-3-642-19582-2}, keywords = {dblp}, pages = 3, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T14:02:23.000+0200}, title = {The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2010.html#BarrettMRST10}, volume = 6504, year = 2010 }