First Page | Document Content | |
---|---|---|
Date: 2016-04-02 04:08:34 | Removing Unnecessary Variables from Horn Clause Verification Conditions Emanuele De Angelis∗ and Fabio Fioravanti∗ Alberto Pettorossi∗Add to Reading ListSource URL: hcvs2016.it.uu.seDownload Document from Source WebsiteFile Size: 161,80 KBShare Document on Facebook |