Experiences Formally Verifying A Network Component (1994)

by Paul Curzon
Venue:In Proceedings of the 9th Annual IEEE Conference on Computer Assurance
Citations:8 - 4 self