Daniel R. Zlatin

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

Coauthor Index

1	Raymond Aubin	[3]
2	Robert L. Constable	[1] [2]
3	Richard D. Peacocke	[3]

Colors in the list of coauthors