Chris T. Sennett

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

M. A. Hewitt, Colin O'Halloran, Chris T. Sennett
Experiences with PiZA, an Animator for Z. ZUM (1997)
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
The Future of Formal Methods in Industry. ZUM (1995)
Colin O'Halloran, Chris T. Sennett
Security Through Type Analysis. ESORICS (1994)