ID:DA08648620
Workshop on Formal Design Methods for CAD, IFIP TC5/WG5.2
Search authors sharing the same name
edited by John S. Gero, Enn Tyugu
Elsevier 1994 IFIP transactions B . Applications in technology ; 18
Available at 7 libraries