J. C. P. Woodclock

According to our database, J. C. P. Woodclock authored at least 1 paper in 1991.

Collaborative distances:

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

1991

W: A Logic for Z.

J. C. P. Woodclock, S. M. Brien

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