Katherine A. Eastaughffe

Publication Activity (10 Years)

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

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant
DOVE: A Tool for Design Oriented Verification and Evaluation. AMAST (1997)
Maris A. Ozols, Anthony Cant, Katherine A. Eastaughffe
XIsabelle: A System Description. CADE (1997)
Katherine A. Eastaughffe, Maris A. Ozols, Anthony Cant
Proof Tactics for a Theory of State Machines in a Graphical Environment. CADE (1997)
Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols
A Tool for Practical Reasoning about State Machine Designs. Australian Software Engineering Conference (1996)