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

by M NORRISH, P SEWELL, K WANSBROUGH
Venue:In Proceedings of the 10th ACM SIGOPS European Workshop (Saint-Emilion