home
>
book reviews
> Glenn Bruns
Google >
Glenn Bruns
author : Glenn Bruns
Short works
Gaining Assurance with Formal Methods. 1995.
(In
Applications of Formal Methods
)