The OpenSMT Solver

TitleThe OpenSMT Solver
Publication TypeConference Paper
Year of Publication2010
AuthorsBruttomesso, R., Pek E., Sharygina Natasha, and Tsitovich A.
Conference NameInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
PublisherSpringer
Conference LocationPaphos, Cyprus
URLhttp://dx.doi.org/10.1007/978-3-642-12002-2_12
Full Text