Issue No. 04 - April (1976 vol. 9)
R.L. Russo , IBM
The 1975 Design Automation Workshop was held at Michigan State University last October 8-10, under the co-sponsorship of the IEEE Computer Society Technical Committees on Design Automation and Fault Tolerant Computing.
R. Russo, "Workshop Report: Methods of Verification in Design Automation," in Computer, vol. 9, no. , pp. 54-55, 1976.