E. T. Grinthal. Software quality assurance for CAD (tutorial). In Hillel Ofek, Lawrence A. O Neill, editors, Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA. pages 555-561, ACM, 1985. [doi]
Abstract is missing.