IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico)

Books by IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 Mexico City, Mexico) on BookTides.