Stephen Austin

According to our database, Stephen Austin authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Overview: Survey of Formal Methods in Industry.

Graeme I. P. Parkin, Stephen Austin

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993