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

Symbolic Detection of Assertion Dependencies for Bounded Model Checking

TitleSymbolic Detection of Assertion Dependencies for Bounded Model Checking
Publication TypeConference Paper
Year of Publication2015
AuthorsFedyukovich, Grigory, A. D'Iddio Callia, Hyvärinen Antti E. J., and Sharygina Natasha
Conference Name18th International Conference on Fundamental Approaches to Software Engineering (FASE)
Full Text