Journal article
Asynchronous assertions
- Aftandilian, Edward E. Tufts University and Google, Mountain View, CA, USA
- Guyer, Samuel Z. Tufts University, Medford, MA, USA
- Vechev, Martin ETH Zurich and IBM Research, Zurich, Switzerland
- Yahav, Eran Computer Science, Haifa, Israel
Published in:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2011, vol. 46, no. 10, p. 275-288
- Language
-
- English
- Open access status
- closed
- Identifiers
-
- DOI 10.1145/2076021.2048090
- ISSN 0362-1340
- Persistent URL
- https://sonar.ch/global/documents/140033
Statistics
Document views: 11
File downloads: