Home › Authors › IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD (1994 Tallinn, Estonia) 👤 IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD (1994 Tallinn, Estonia) 1 book Books by IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD (1994 Tallinn, Estonia) Formal design methods for CAD 1994