Formal specification and testing of QUIC.

Kenneth L. McMillan, Lenore D. Zuck

Browse the full SIGCOMM paper archive.