TY  - RPRT
TI  - Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
AU  - Emanuele De Angelis
AU  - Fabio Fioravanti
AU  - Alberto Pettorossi
AU  - Maurizio Proietti
PY  - 2015
DO  - 10.1017/s1471068415000289
UR  - https://arxiv.org/abs/1507.05877
ID  - 1507.05877
ER  -