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

Loop summarization using state and transition invariants

TitleLoop summarization using state and transition invariants
Publication TypeJournal Article
Year of Publication2013
AuthorsKroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M.
JournalFormal Methods in System Design
Volume42
ISSN0925-9856
Full Text