T. G. A. Rushton

	1997
1		Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach: Formal methods into practice: case studies in the application of the B method. IEE Proceedings - Software 144(2): 119-133 (1997)

Coauthor Index

1	Juan Bicarregui	[1]
2	D. L. Clutterbuck	[1]
3	Gavin R. Finnie	[1]
4	Howard P. Haughton	[1]
5	Kevin Lano	[1]
6	H. Lesan	[1]
7	D. W. R. M. Marsh	[1]
8	B. M. Matthews	[1]
9	Michael R. Moulding	[1]
10	A. Richard Newton	[1]
11	Brian Ritchie	[1]
12	P. N. Scharbach	[1]