Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets (2002)

by Michael Norrish , Peter Sewell , Keith Wansbrough
Citations:14 - 12 self