Chris T. Sennett

1997
3		M. A. Hewitt, Colin O'Halloran, Chris T. Sennett: Experiences with PiZA, an Animator for Z. ZUM 1997: 37-51
1995
2		Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. ZUM 1995: 237-242
1994
1	EE	Colin O'Halloran, Chris T. Sennett: Security Through Type Analysis. ESORICS 1994: 75-89

Coauthor Index

1	Anthony Hall	[2]
2	M. A. Hewitt	[3]
3	Colin O'Halloran	[1] [3]
4	David Lorge Parnas	[2]
5	Nico Plat	[2]
6	John M. Rushby	[2]

Colors in the list of coauthors