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, ItalyAdd to Reading ListSource URL: hcvs2016.it.uu.seDownload Document from Source WebsiteFile Size: 978,43 KBShare Document on Facebook |