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/biblio_theme.inc).

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