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-based model checking for efficient incremental analysis of software

TitleInterpolation-based model checking for efficient incremental analysis of software
Publication TypeConference Paper
Year of Publication2013
AuthorsFedyukovich, Grigory, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameIEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems
Full Text