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.L. Russo, "Workshop Report: Methods of Verification in Design Automation", Computer, vol.9, no. 4, pp. 54-55, April 1976, doi:10.1109/C-M.1976.218561