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