%0 Conference Paper %1 conf/cpp/Koh0LXBHMPZ19 %A Koh, Nicolas %A Li, Yao %A Li, Yishuai %A yao Xia, Li %A Beringer, Lennart %A Honoré, Wolf %A Mansky, William %A Pierce, Benjamin C. %A Zdancewic, Steve %B CPP %D 2019 %E Mahboubi, Assia %E Myreen, Magnus O. %I ACM %K dblp %P 234-248 %T From C to interaction trees: specifying, verifying, and testing a networked server. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#Koh0LXBHMPZ19 %@ 978-1-4503-6222-1

@inproceedings{conf/cpp/Koh0LXBHMPZ19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Koh, Nicolas and Li, Yao and Li, Yishuai and yao Xia, Li and Beringer, Lennart and Honoré, Wolf and Mansky, William and Pierce, Benjamin C. and Zdancewic, Steve}, biburl = {https://www.bibsonomy.org/bibtex/21b217d3cc08871a6d759271a9a1f621f/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2019}, editor = {Mahboubi, Assia and Myreen, Magnus O.}, ee = {https://doi.org/10.1145/3293880.3294106}, interhash = {007bb7d51d9c368a8386157288a95fca}, intrahash = {1b217d3cc08871a6d759271a9a1f621f}, isbn = {978-1-4503-6222-1}, keywords = {dblp}, pages = {234-248}, publisher = {ACM}, timestamp = {2024-04-10T16:45:49.000+0200}, title = {From C to interaction trees: specifying, verifying, and testing a networked server.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2019.html#Koh0LXBHMPZ19}, year = 2019 }