author : Ana L. C. Cavalcanti

Papers/Articles

• MooZ Case Studies. 1992. In Object Orientation in Z
• A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. 1999. In FM'99 volume 2
• The Semantics of Circus. 2002. In ZB 2002