author : Irwin Meisels

Short works

• Analysing Z Specifications with Z/EVES. 1999. (In Industrial-Strength Formal Methods in Practice )