First Page | Document Content | |
---|---|---|
Date: 2016-04-05 17:42:28 | Solving non-linear Horn clauses using a linear Horn clause solver Bishoksan Kafle, John Gallagher and Pierre Ganty Roskilde University, Denmark and IMDEA Software Institute, Spain HCVS’16 EindhovenAdd to Reading ListSource URL: hcvs2016.it.uu.seDownload Document from Source WebsiteFile Size: 305,12 KBShare Document on Facebook |