Home › Authors › IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico) 👤 IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico) 1 book Books by IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico) Advances in formal design methods for CAD 1996
