home
>
book reviews
> J.R. Hulance
Google >
J.R. Hulance
author : J.R. Hulance
Short works
The Formal Specification in Z of Defence Standard 00-56. 1994.
(In
8th Z User Workshop
)