Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/

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)
Conference LocationPaphos, Cyprus
Full Text