home
>
book reviews
> Michael Green
Google >
Michael Green
author : Michael Green
Short works
Developing a Security-Critical System using Formal and Conventional Methods. 1995.
(In
Applications of Formal Methods
)