dblp.uni-trier.dewww.uni-trier.de

Michael R. Donat Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Nancy A. Day [2]
2Jeffrey J. Joyce [2]
3Lincoln A. Wallen [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)