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