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).

Interpolation Properties and SAT-based Model Checking

TitleInterpolation Properties and SAT-based Model Checking
Publication TypeConference Paper
Year of Publication2013
AuthorsGurfinkel, A., Rollini S. F., and Sharygina Natasha
Conference Name11th International Symposium on Automated Technology for Verification and Analysis (ATVA)
Full Text