home
>
book reviews
> Darrell M. Kienzle
Google >
Darrell M. Kienzle
author : Darrell M. Kienzle
Short works
Preliminary Experience Using Z to Specify a Safety-Critical System. 1993.
(In
7th Z User Workshop
)