2003 |
5 | EE | Michael R. Donat:
Debugging in an Asynchronous World.
ACM Queue 1(6): 22-30 (2003) |
1997 |
4 | | Michael R. Donat:
Automating Formal Specification-Based Testing.
TAPSOFT 1997: 833-847 |
1995 |
3 | EE | Michael R. Donat:
Enhancing cleanroom techniques with refinement calculus.
CASCON 1995: 20 |
1994 |
2 | | Jeffrey J. Joyce,
Nancy A. Day,
Michael R. Donat:
S: A Machine Readable Specification Notation based on Higher Order Logic.
TPHOLs 1994: 285-299 |
1988 |
1 | | Michael R. Donat,
Lincoln A. Wallen:
Learning and Applying Generalised Solutions using Higher Order Resolution.
CADE 1988: 41-60 |