T. M. Brookes

	1996
3		T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME 1996: 214-227
2		Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996)
	1994
1		John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44

Coauthor Index

1	John S. Fitzgerald	[1] [2] [3]
2	M. A. Green	[1]
3	Peter Gorm Larsen	[1] [2] [3]