First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 413,04 KBShare Document on Facebook |