 | 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 | | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
ASYNC 1996: 16-26 |
| 1 | | Anthony Cant,
Katherine A. Eastaughffe,
Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs.
Australian Software Engineering Conference 1996: 16-26 |
