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