Experiences formally verifying a network component (1994)

by P Curzon
Venue:in Proceedings of the 9th Annual Conference on Computer Assurance (COMPASS ’94), Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security