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:13 - 11 self

Document Versions

Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets –Michael Norrish, Peter Sewell, Keith Wansbrough — 2002
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets –Michael Norrish, Peter Sewell, Keith Wansbrough — 2002