C. Y. Michael Gan

According to our database, C. Y. Michael Gan authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1991

Extending the Useful Application Domain for Formal Methods.

Paul A. Swatman, Danielle C. Fowler, C. Y. Michael Gan

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991