home
>
book reviews
> Ted Ralston
Google >
Ted Ralston
author : Ted Ralston
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
)