author : C. Y. Michael Gan

Short works

• Extending the Useful Application Domain for Formal Methods. 1992. (In 6th Z User Workshop )