Verifying properties of well-founded linked lists
Shuvendu K. Lahiri and Shaz Qadeer
2006
 PDF file |
In Principles of Programming Languages (POPL '06)
Publisher ACM
Details
| Type | Inproceedings |
| Pages | 115-126 |
| ISBN | 1-59593-027-2 |
Related Projects
Related Downloads
Related People
Share
