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

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