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