S. M. Brien

According to our database, S. M. Brien authored at least 3 papers between 1991 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

A Calculus for Schemas in Z.

S. M. Brien, Andrew P. Martin

J. Symb. Comput., 2000

1992

A Time-Interval Calculus.

S. M. Brien

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

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