@inproceedings{DBLP:conf/cpp/Koh0LXBHMPZ19,
 author = {Nicolas Koh and
Yao Li and
Yishuai Li and
Li-yao Xia and
Lennart Beringer and
Wolf Honoré and
William Mansky and
Benjamin C. Pierce and
Steve Zdancewic},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/cpp/Koh0LXBHMPZ19.bib},
 booktitle = {Proceedings of the 8th ACM SIGPLAN International Conference on
Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January
14-15, 2019},
 doi = {10.1145/3293880.3294106},
 editor = {Assia Mahboubi and
Magnus O. Myreen},
 pages = {234--248},
 publisher = {ACM},
 timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
 title = {From C to interaction trees: specifying, verifying, and testing
a networked server},
 url = {https://doi.org/10.1145/3293880.3294106},
 year = {2019}
}