Chris T. Sennett

According to our database, Chris T. Sennett authored at least 5 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Experiences with PiZA, an Animator for Z.

M. A. Hewitt, Colin O'Halloran, Chris T. Sennett

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1995

The Future of Formal Methods in Industry.

Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

Security Through Type Analysis.

Colin O'Halloran, Chris T. Sennett

Proceedings of the Computer Security, 1994

1993

Design Methods Working Group.

Chris T. Sennett

Proceedings of the Formal Methods in Systems Engineering, 1993

Conclusions.

Peter Ryan, Chris T. Sennett

Proceedings of the Formal Methods in Systems Engineering, 1993