dblp.uni-trier.dewww.uni-trier.de

Daniel R. Zlatin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
3 Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke: From Specifications to Test Cases: AI in Software Quality. ICC 1986: 1176-1179
1984
2EERobert 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)