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

Property Directed Equivalence via Abstract Simulation

TitleProperty Directed Equivalence via Abstract Simulation
Publication TypeConference Proceedings
Year of Conference2016
AuthorsFedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha
Conference NameCAV 2016
Full Text

pdf