1997 |
5 | | Maris A. Ozols,
Katherine A. Eastaughffe,
Anthony Cant:
DOVE: A Tool for Design Oriented Verification and Evaluation.
AMAST 1997: 574-575 |
4 | | Katherine A. Eastaughffe,
Maris A. Ozols,
Anthony Cant:
Proof Tactics for a Theory of State Machines in a Graphical Environment.
CADE 1997: 366-379 |
3 | | Maris A. Ozols,
Anthony Cant,
Katherine A. Eastaughffe:
XIsabelle: A System Description.
CADE 1997: 400-403 |
1996 |
2 | EE | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
ASYNC 1996: 16-26 |
1 | EE | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
Australian Software Engineering Conference 1996: 16-26 |