author : Clazien Wezeman

Short works

• Deriving Tests for Objects Specified in Z. 1993. (In 7th Z User Workshop )
• Z for Managed Objects. 1994. (In 8th Z User Workshop )