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

Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection

TitleTowards completeness in Bounded Model Checking through Automatic Recursion Depth Detection
Publication TypeConference Paper
Year of Publication2014
AuthorsFedyukovich, Grigory, and Sharygina Natasha
Conference NameBrazilian Symposium on Formal Methods (SBMF)
Conference LocationMaceio, Brazil.
Full Text