About this scholarly article

Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets by Michael Norrish; Peter Sewell; Keith Wansbrough is a scholarly article available to read on EtoBox.

Author

Michael Norrish; Peter Sewell; Keith Wansbrough

Publisher

ACM Press

Published

2002

Language

EN