Full functional verification of linked data structures
- Zee, Karen MIT, Cambridge, MA, USA
- Kuncak, Viktor EPFL, Lausanne, Switzerland
- Rinard, Martin MIT, Cambridge, MA, USA
Published in:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2008, vol. 43, no. 6, p. 349-361
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1145/1379022.1375624
- ISSN 0362-1340
- Persistent URL
- https://sonar.ch/global/documents/37755
Statistics
Document views: 10
File downloads:
- fulltext.pdf: 0