author : Kirsten Winter

Short works

• Compositional verification for Object-Z. 2003. (In ZB 2003 )
• Proving temporal properties of Z specifications using abstraction. 2003. (In ZB 2003 )