home
>
book reviews
> Ana L. C. Cavalcanti
Google >
Ana L. C. Cavalcanti
author : Ana L. C. Cavalcanti
Short works
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
)