Machine-Verified Network Controllers. (2013)

by A Guha, M Reitblatt, N Foster
Venue:In Proc. of the ACM Conference on Programming Language Design and Implementation (PLDI),