Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.

T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen

Browse the full FM paper archive.