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.