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

Lattice-Based Refinement in Bounded Model Checking

TitleLattice-Based Refinement in Bounded Model Checking
Publication TypeConference Paper
Year of Publication2018
AuthorsEven-Mendoza, Karine, Asadi Sepideh, Hyvärinen Antti, Chockler Hana, and Sharygina Natasha
Conference NameVSTTE
Date Published07/2018
Full Text