| |
| 1986 | ||
|---|---|---|
| 3 | Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke: From Specifications to Test Cases: AI in Software Quality. ICC 1986: 1176-1179 | |
| 1984 | ||
| 2 | EE | Robert L. Constable, Daniel R. Zlatin: The Type Theory of PL/CV3. ACM Trans. Program. Lang. Syst. 6(1): 94-117 (1984) |
| 1981 | ||
| 1 | Robert L. Constable, Daniel R. Zlatin: The Type Theory of PL/CV 3. Logic of Programs 1981: 72-93 | |
| 1 | Raymond Aubin | [3] |
| 2 | Robert L. Constable | [1] [2] |
| 3 | Richard D. Peacocke | [3] |