home
>
book reviews
> Susan Gerhart
Google >
Susan Gerhart
author : Susan Gerhart
Short works
An International Survey of Industrial Applications of Formal Methods. 1993.
(In
7th Z User Workshop
)
Formal Methods Technology Transfer: Impediments and Innovation. 1995.
(In
Applications of Formal Methods
)