Developing a security-critical system using formal and conventional methods (1995)

by J S Fitzgerald, P G Larsen, T M Brookes, M A Green
Venue:In M. Hinchey and J. P. Bowen (Eds.), Applications of Formal Methods