|
Search the dblp DataBase
Michael R. Donat:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michael R. Donat, Lincoln A. Wallen
Learning and Applying Generalised Solutions using Higher Order Resolution. [Citation Graph (0, 0)][DBLP] CADE, 1988, pp:41-60 [Conf]
- Michael R. Donat
Enhancing cleanroom techniques with refinement calculus. [Citation Graph (0, 0)][DBLP] CASCON, 1995, pp:20- [Conf]
- Michael R. Donat
Automating Formal Specification-Based Testing. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1997, pp:833-847 [Conf]
- Jeffrey J. Joyce, Nancy A. Day, Michael R. Donat
S: A Machine Readable Specification Notation based on Higher Order Logic. [Citation Graph (0, 0)][DBLP] TPHOLs, 1994, pp:285-299 [Conf]
- Michael R. Donat
Debugging in an Asynchronous World. [Citation Graph (0, 0)][DBLP] ACM Queue, 2003, v:1, n:6, pp:22-30 [Journal]
Search in 0.001secs, Finished in 0.001secs
|