> Dan Craigen
author : Dan Craigen
An International Survey of Industrial Applications of Formal Methods. 1993.
7th Z User Workshop
Formal Methods Technology Transfer: Impediments and Innovation. 1995.
Applications of Formal Methods
Analysing Z Specifications with Z/EVES. 1999.
Industrial-Strength Formal Methods in Practice