(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).
Cita Chicago (17th ed.)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.
Cita MLA (9th ed.)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.