Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994

John S. Gero Enn Tyugu Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994 Formal Design Methods for CAD IFIP Transactions B-18 Elsevier 1994 0-444-81970-3 db/conf/ifip5-2/ifip5-2-1994.html