Workshop Report: Methods of Verification in Design Automation
Roy L. Russo · Computer · 1976
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.