home
>
book reviews
> C. Y. Michael Gan
Google >
C. Y. Michael Gan
author : C. Y. Michael Gan
Short works
Extending the Useful Application Domain for Formal Methods. 1992.
(In
6th Z User Workshop
)