home
>
book reviews
> Clazien Wezeman
Google >
Clazien Wezeman
author : Clazien Wezeman
Short works
Deriving Tests for Objects Specified in Z. 1993.
(In
7th Z User Workshop
)
Z for Managed Objects. 1994.
(In
8th Z User Workshop
)