home
>
book reviews
> Vivien Hamilton
Google >
Vivien Hamilton
author : Vivien Hamilton
Short works
The Use of Z within a Safety-Critical Software System. 1995.
(In
Applications of Formal Methods
)