Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Verifying properties of well-founded linked lists

Shuvendu K. Lahiri and Shaz Qadeer

Details

Publication typeInproceedings
Published inPrinciples of Programming Languages (POPL '06)
Pages115-126
ISBN1-59593-027-2
PublisherACM
> Publications > Verifying properties of well-founded linked lists