Michael R. Donat

Publication Activity (10 Years)

Years Active: 1988-2003
Publications (10 Years): 0

Publications

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