![](https://www.pdfsearch.io/img/b72a592c3e1de59fb2a49552571a34ba.jpg) Date: 2017-10-12 09:44:57
| | Quantified Heap Invariants for Object-Oriented Programs Temesghen Kahsai1,4 , Rody Kersten1 , Philipp R¨ ummer2 , and Martin Sch¨af3 1 Carnegie Mellon University, Silicon ValleyAdd to Reading ListSource URL: www.philipp.ruemmer.orgDownload Document from Source Website File Size: 413,04 KBShare Document on Facebook
|