Login / Signup
M. A. Green
Publication Activity (10 Years)
Years Active: 1994-1994
Publications (10 Years): 0
</>
Publications
</>
John S. Fitzgerald
,
T. M. Brookes
,
M. A. Green
,
Peter Gorm Larsen
Formal and Informal Specifications of a Secure System Component: first results in a comparative study.
FME
(1994)