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