Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 - Asko Riitahuhta - Övrigt | Bokus