author : Elspeth Cusack

Papers/Articles

• ZEST. 1992. In Object Orientation in Z
• Deriving Tests for Objects Specified in Z. 1993. In 7th Z User Workshop
• Using Z in Communications Engineering. 1993. In 7th Z User Workshop