Verifying linked data structure implementations

Karen Zee, Viktor Kuncak, Martin C. Rinard. Verifying linked data structure implementations. In 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008. pages 1-5, IEEE, 2008. [doi]

No reviews for this publication, yet.