home
>
book reviews
> Elspeth Cusack
Google >
Elspeth Cusack
author : Elspeth Cusack
Short works
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
)