(1996). Advances in formal design methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995. Chapman & Hall on behalf of the International Federation for Information Processing (IFIP).
Style de citation Chicago (17e éd.)Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995. London: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1996.
Style de citation MLA (9e éd.)Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995. Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1996.