![](https://www.pdfsearch.io/img/db56ef2c445ae749dd5bfba94b779c5a.jpg) Date: 2015-10-01 02:29:41
| | Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015Add to Reading ListSource URL: www.avacs.orgDownload Document from Source Website File Size: 3,33 MBShare Document on Facebook
|