home
>
book reviews
> David Duke
Google >
David Duke
author : David Duke
Short works
Enhancing the Structure of Z Specifications. 1992.
(In
6th Z User Workshop
)