Koh, Nicolas, Li, Yao, Li, Yishuai, Xia, Li-yao, Beringer, Lennart, Honoré, Wolf, Mansky, William, Pierce, Benjamin C., and Zdancewic, Steve. From C to interaction trees: specifying, verifying, and testing a networked server. Retrieved from https://par.nsf.gov/biblio/10099617. Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs . Web. doi:10.1145/3293880.3294106.

Koh, Nicolas, Li, Yao, Li, Yishuai, Xia, Li-yao, Beringer, Lennart, Honoré, Wolf, Mansky, William, Pierce, Benjamin C., & Zdancewic, Steve. From C to interaction trees: specifying, verifying, and testing a networked server. Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, (). Retrieved from https://par.nsf.gov/biblio/10099617. https://doi.org/10.1145/3293880.3294106

Koh, Nicolas, Li, Yao, Li, Yishuai, Xia, Li-yao, Beringer, Lennart, Honoré, Wolf, Mansky, William, Pierce, Benjamin C., and Zdancewic, Steve. "From C to interaction trees: specifying, verifying, and testing a networked server". Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs (). Country unknown/Code not available. https://doi.org/10.1145/3293880.3294106. https://par.nsf.gov/biblio/10099617.

@article{osti_10099617,
place = {Country unknown/Code not available}, title = {From C to interaction trees: specifying, verifying, and testing a networked server}, url = {https://par.nsf.gov/biblio/10099617}, DOI = {10.1145/3293880.3294106}, abstractNote = {}, journal = {Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs}, author = {Koh, Nicolas and Li, Yao and Li, Yishuai and Xia, Li-yao and Beringer, Lennart and Honoré, Wolf and Mansky, William and Pierce, Benjamin C. and Zdancewic, Steve}, }