Shuling Wang, Xu Wang. Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. In Markus Aderhold, Serge Autexier, Heiko Mantel, editors, 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. Volume 3 of EPiC Series, pages 126-140, EasyChair, 2010. [doi]
@inproceedings{WangW10-66,
title = {Proving Simpson's Four-Slot Algorithm Using Ownership Transfer},
author = {Shuling Wang and Xu Wang},
year = {2010},
url = {http://www.easychair.org/publications/?page=1368308974},
researchr = {https://researchr.org/publication/WangW10-66},
cites = {0},
citedby = {0},
pages = {126-140},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010},
editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
volume = {3},
series = {EPiC Series},
publisher = {EasyChair},
}