Travelled to:1 × USA
Collaborated with:L.A.Wallen ∅
Talks about:generalis (1) resolut (1) specif (1) higher (1) formal (1) solut (1) order (1) learn (1) autom (1) appli (1)
Person: Michael R. Donat
DBLP: Donat:Michael_R=
Contributed to:
1988
1997Wrote 2 papers:
- CADE-1988-DonatW #higher-order #learning #using
- Learning and Applying Generalised Solutions using Higher Order Resolution (MRD, LAW), pp. 41–60.
- TAPSOFT-1997-Donat #automation #testing
- Automating Formal Specification-Based Testing (MRD), pp. 833–847.