Formal specification and testing of QUIC (bibtex)

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},
}