Experiences formally verifying a network component (1994)

by Paul Curzon
Venue:In Proceedings of the 9th Annual IEEE Conference on Computer Assurance