| |
| 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] |