![](https://www.pdfsearch.io/img/2da4461c83a36e8d17b8e52efcf5063e.jpg) 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 Website File Size: 305,12 KBShare Document on Facebook
|