Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy

First Page		Document Content
Date: 2016-04-08 07:01:12		Removing Unnecessary Variables from Horn Clause Verification Conditions E. De Angelis (1), F. Fioravanti (1) A. Pettorossi (2), M. ProiettiDEC, University ”G. d’Annunzio” of Chieti-Pescara, Italy Add to Reading List Source URL: hcvs2016.it.uu.se Download Document from Source Website File Size: 978,43 KB Share Document on Facebook