@inproceedings{DBLP:conf/itp/ZhangHK0LXBMPZ21,
 author = {Hengchu Zhang and
Wolf Honoré and
Nicolas Koh and
Yao Li and
Yishuai Li and
Li-yao Xia and
Lennart Beringer and
William Mansky and
Benjamin C. Pierce and
Steve Zdancewic},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/itp/ZhangHK0LXBMPZ21.bib},
 booktitle = {12th International Conference on Interactive Theorem Proving, ITP
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
 doi = {10.4230/LIPICS.ITP.2021.32},
 editor = {Liron Cohen and
Cezary Kaliszyk},
 pages = {32:1--32:19},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
 series = {LIPIcs},
 timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
 title = {Verifying an HTTP Key-Value Server with Interaction Trees and VST},
 url = {https://doi.org/10.4230/LIPIcs.ITP.2021.32},
 volume = {193},
 year = {2021}
}