Claessen. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
Chicago Style (17th ed.) CitationClaessen. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
MLA (9th ed.) CitationClaessen. Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
Warning: These citations may not always be 100% accurate.