Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (1994)

Cached

Download Links

by Brookes Fitzgerald , T. M. Brookes , J. S. Fitzgerald , P. G. Larsen
Citations:14 - 7 self