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 and Termination Analysis

TitleLoop Summarization and Termination Analysis
Publication TypeConference Paper
Year of Publication2011
AuthorsTsitovich, Aliaksei, Sharygina Natasha, Wintersteiger Christoph M., and Kroening Daniel
Conference NameInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
PublisherSpringer
Conference LocationSaarbrü Germany
URLhttp://dx.doi.org/10.1007/978-3-642-19835-9_9
Full Text