Home›Books›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)No biography available.No works found.