Title: Formal design methods for CAD
First published: 1994
Subjects: Computer-aided design, Congresses
LC classification: TA174 .I1319 1994