D. A. Baker

According to our database, D. A. Baker authored at least 1 paper in 1980.

Collaborative distances:

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

1980

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980