Inproceedings,
The OpenSMT Solver.
R. Bruttomesso, E. Pek, N. Sharygina, and A. Tsitovich.TACAS, volume 6015 of Lecture Notes in Computer Science, page 150-153. Springer, (2010)
Meta data
- BibTeX key
- conf/tacas/BruttomessoPST10
- entry type
- inproceedings
- booktitle
- TACAS
- year
- 2010
- pages
- 150-153
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 6015
- crossref
- conf/tacas/2010
- ee
- https://doi.org/10.1007/978-3-642-12002-2_12
- isbn
- 978-3-642-12001-5
- url
- http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#BruttomessoPST10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/tacas/BruttomessoPST10
%A Bruttomesso, Roberto
%A Pek, Edgar
%A Sharygina, Natasha
%A Tsitovich, Aliaksei
%B TACAS
%D 2010
%E Esparza, Javier
%E Majumdar, Rupak
%I Springer
%K dblp
%P 150-153
%T The OpenSMT Solver.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#BruttomessoPST10
%V 6015
%@ 978-3-642-12001-5
@inproceedings{conf/tacas/BruttomessoPST10,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Bruttomesso, Roberto and Pek, Edgar and Sharygina, Natasha and Tsitovich, Aliaksei},
biburl = {https://www.bibsonomy.org/bibtex/286978b4c36c749bc1e98db91ddd813f2/dblp},
booktitle = {TACAS},
crossref = {conf/tacas/2010},
editor = {Esparza, Javier and Majumdar, Rupak},
ee = {https://doi.org/10.1007/978-3-642-12002-2_12},
interhash = {7e0841eed2c91ede1ea98ee045d58d4f},
intrahash = {86978b4c36c749bc1e98db91ddd813f2},
isbn = {978-3-642-12001-5},
keywords = {dblp},
pages = {150-153},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:37:13.000+0200},
title = {The OpenSMT Solver.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#BruttomessoPST10},
volume = 6015,
year = 2010
}