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]
@inproceedings{ZeeKR08,
title = {Verifying linked data structure implementations},
author = {Karen Zee and Viktor Kuncak and Martin C. Rinard},
year = {2008},
doi = {10.1109/IPDPS.2008.4536430},
url = {http://dx.doi.org/10.1109/IPDPS.2008.4536430},
tags = {data-flow, C++},
researchr = {https://researchr.org/publication/ZeeKR08},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008},
publisher = {IEEE},
}