author : Mark Saaltink

Short works

• Z and Eves. 1992. (In 6th Z User Workshop )
• The Z/EVES System. 1997. (In ZUM '97 )
• Analysing Z Specifications with Z/EVES. 1999. (In Industrial-Strength Formal Methods in Practice )