| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1986 | |
|---|---|---|
| 4 |      | Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke: From Specifications to Test Cases: AI in Software Quality. ICC 1986: 1176-1179 |
| 1979 | ||
| 3 |  | Raymond Aubin: Mechanizing Structural Induction Part I: Formal System. Theor. Comput. Sci. 9: 329-345 (1979) |
| 2 | | Raymond Aubin: Mechanizing Structural Induction Part II: Strategies. Theor. Comput. Sci. 9: 347-362 (1979) |
| 1977 | ||
| 1 | | Raymond Aubin: Strategies for Mechanizing Structural Induction. IJCAI 1977: 363-369 |
| 1 | Richard D. Peacocke | [4] |
| 2 | Daniel R. Zlatin | [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page