Formal specification for design automation

Mihaly Lenart, Peter Padawitz, Ana Pasztor. Formal specification for design automation. 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 201-220, Elsevier, 1994.

Abstract

Abstract is missing.