![](/img/cover-not-exists.png)
[ACM Press Conference record of the 33rd ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, USA (2006.01.11-2006.01.13)] Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06 - Verifying properties of well-founded linked lists
Lahiri, Shuvendu K., Qadeer, ShazYear:
2006
Language:
english
DOI:
10.1145/1111037.1111048
File:
PDF, 176 KB
english, 2006