Journal article
Sprint
- Raman, Arun Princeton University, Princeton, NJ, USA
- Yorsh, Greta ARM, Cambridge, United Kingdom
- Vechev, Martin ETH Zurich and IBM Research, Zurich, Switzerland
- Yahav, Eran Technion, Haifa, Israel
Published in:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2011, vol. 46, no. 10, p. 259-274
- Language
-
- English
- Open access status
- closed
- Identifiers
-
- DOI 10.1145/2076021.2048088
- ISSN 0362-1340
- Persistent URL
- https://sonar.ch/global/documents/274062
Statistics
Document views: 26
File downloads: