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

PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification

TitlePeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification
Publication TypeConference Paper
Year of Publication2013
AuthorsRollini, S.F., Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha
Conference NameLogic for Programming Artificial Intelligence and Reasoning (LPAR)
Conference LocationStellenbosch, South Africa
Full Text