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

An extension of lazy abstraction with interpolation for programs with arrays

TitleAn extension of lazy abstraction with interpolation for programs with arrays
Publication TypeJournal Article
Year of Publication2014
AuthorsAlberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha
JournalFMSD
ISSN1572-8102
KeywordsArray programs, Lazy abstraction, Model checking, SMT
DOI10.1007/s10703-014-0209-9
Full Text