Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets (0)

by Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
Venue:SIGCOMM Comput. Commun. Rev