Daniel R. Zlatin

Publication Activity (10 Years)

Years Active: 1981-1988
Publications (10 Years): 0

Publications

Innes A. Ferguson, Daniel R. Zlatin
Knowledge structures for communications networks design and sales. IEEE Netw. 2 (5) (1988)
Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke
From Specifications to Test Cases: AI in Software Quality. ICC (1986)
Robert L. Constable, Daniel R. Zlatin
The Type Theory of PL/CV3. ACM Trans. Program. Lang. Syst. 6 (1) (1984)
Robert L. Constable, Daniel R. Zlatin
The Type Theory of PL/CV 3. Logic of Programs (1981)