The OpenSMT Solver
Additional information
Authors
Bruttomesso R.,
Pek E.,
Sharygina N.,
Tsitovich A.
Type
Article in conference proceedings
Year
2010
Language
English
Conference proceedings
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Publisher
Springer
Meeting place
Paphos, Cyprus
Pages (or article number)
150-153
