Daniel R. Zlatin

According to our database, Daniel R. Zlatin authored at least 4 papers between 1981 and 1988.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1988

Knowledge structures for communications networks design and sales.

Innes A. Ferguson, Daniel R. Zlatin

IEEE Netw., 1988

1986

From Specifications to Test Cases: AI in Software Quality.

Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke

Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986

1984

The Type Theory of PL/CV3.

Robert L. Constable, Daniel R. Zlatin

ACM Trans. Program. Lang. Syst., 1984

1981

The Type Theory of PL/CV 3.

Robert L. Constable, Daniel R. Zlatin

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981