Michael R. Donat

According to our database, Michael R. Donat authored at least 5 papers between 1988 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Debugging in an Asynchronous World.

Michael R. Donat

ACM Queue, 2003

1997

Automating Formal Specification-Based Testing.

Michael R. Donat

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1995

Enhancing cleanroom techniques with refinement calculus.

Michael R. Donat

Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994

S: A Machine Readable Specification Notation based on Higher Order Logic.

Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1988

Learning and Applying Generalised Solutions using Higher Order Resolution.

Michael R. Donat, Lincoln A. Wallen

Proceedings of the 9th International Conference on Automated Deduction, 1988