Katherine A. Eastaughffe

According to our database, Katherine A. Eastaughffe authored at least 5 papers between 1995 and 1997.

Collaborative distances:

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

1997

XIsabelle: A System Description.

Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe

Proceedings of the Automated Deduction, 1997

Proof Tactics for a Theory of State Machines in a Graphical Environment.

Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant

Proceedings of the Automated Deduction, 1997

DOVE: A Tool for Design Oriented Verification and Evaluation.

Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A Tool for Practical Reasoning about State Machine Designs.

Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols

Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995

The geometry of interaction as a theory of cut elimination with structure-sharing.

Katherine A. Eastaughffe

PhD thesis, 1995