by Kenneth L. McMillan and Lenore D. Zuck
Reference:
Formal specification and testing of QUIC (Kenneth L. McMillan and Lenore D. Zuck), In Proceedgins of. ACM Special Interest Group on Data Communication (SIGCOMM’19), ACM, 2019.
Bibtex Entry:
@inproceedings{sigcomm19,
author = {Kenneth L. McMillan and Lenore D. Zuck},
title = {Formal specification and testing of {QUIC}},
booktitle = {Proceedgins of. ACM Special Interest Group
on Data Communication (SIGCOMM’19)},
publisher = {ACM},
note = {to appear},
year = {2019},
url = {SIGCOMM19.pdf},
}