home
>
book reviews
> Jon G. Hall
Google >
Jon G. Hall
author : Jon G. Hall
Short works
Towards a Z Method: Axiomatic Specifications in Z. 1994.
(In
8th Z User Workshop
)
W Reconstructed. 1997.
(In
ZUM '97
)