Discussion: What is a formal representation and what is it good for?

L. K. Alberts. Discussion: What is a formal representation and what is it good for?. In John S. Gero, Enn Tyugu, editors, 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. Volume B-18 of IFIP Transactions, pages 59-70, Elsevier, 1994.

Abstract

Abstract is missing.