![](/img/cover-not-exists.png)
Type-based data structure verification
Kawaguchi, Ming, Rondon, Patrick, Jhala, RanjitVolume:
44
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1543135.1542510
Date:
May, 2009
File:
PDF, 549 KB
english, 2009