Robert DeLine, Manuel Fähndrich. Enforcing High-Level Protocols in Low-Level Software. In PLDI. pages 59-69, 2001.
@inproceedings{DeLineF01,
title = {Enforcing High-Level Protocols in Low-Level Software},
author = {Robert DeLine and Manuel Fähndrich},
year = {2001},
tags = {protocol},
researchr = {https://researchr.org/publication/DeLineF01},
cites = {0},
citedby = {0},
pages = {59-69},
booktitle = {PLDI},
}