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

Incremental Upgrade Checking by Means of Interpolation-based Function Summaries

TitleIncremental Upgrade Checking by Means of Interpolation-based Function Summaries
Publication TypeConference Paper
Year of Publication2012
AuthorsSery, O., Fedyukovich Grigory, and Sharygina Natasha
Conference NameTwelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD)
Conference LocationCambridge, UK
Full Text