![](https://www.pdfsearch.io/img/9e1fc0e20097647c833923f8be4d0d8d.jpg) Date: 2007-08-09 13:58:58
| | Modular Verification of the Subject-Observer Pattern via Higher-Order Separation Logic Neelakantan R. Krishnaswami, Jonathan Aldrich1 , and Lars Birkedal2 1 Carnegie Mellon University, {neelk, aldrich}@cs.cmu.eduAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source Website File Size: 189,70 KBShare Document on Facebook
|