S. M. Brien

2000
3		S. M. Brien, A. P. Martin: A Calculus for Schemas in Z. J. Symb. Comput. 30(1): 63-91 (2000)
1992
2		S. M. Brien: A Time-Interval Calculus. MPC 1992: 67-79
1991
1		J. C. P. Woodclock, S. M. Brien: W: A Logic for Z. Z User Workshop 1991: 77-96

Coauthor Index

1	A. P. Martin	[3]
2	J. C. P. Woodclock	[1]

Colors in the list of coauthors