home
>
book reviews
> Dan Craigen
Google >
Dan Craigen
author : Dan Craigen
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
)
Analysing Z Specifications with Z/EVES. 1999.
(In
Industrial-Strength Formal Methods in Practice
)