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 )