Robert J. Smith II. Software engineering techniques in design automation&madash;a tutorial. In Judith G. Brinsfield, Stephen A. Szygenda, David W. Hightower, editors, Proceedings of the 14th Design Automation Conference, DAC '77, New Orleans, Louisiana, USA, June 20-22, 1977. pages 495-507, ACM, 1977. [doi]
Abstract is missing.