| 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 |
