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.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

1997

Experiences with PiZA, an Animator for Z.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

1994

Security Through Type Analysis.

[BibT_eX]

[DOI]

Colin O'Halloran

Chris T. Sennett

Proceedings of the Computer Security, 1994

1993

Design Methods Working Group.

[BibT_eX]

[DOI]

Chris T. Sennett

Proceedings of the Formal Methods in Systems Engineering, 1993

Conclusions.

[BibT_eX]

[DOI]

Peter Ryan

Chris T. Sennett

Proceedings of the Formal Methods in Systems Engineering, 1993

Chris T. Sennett

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...