Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
Cita Chicago Style (17a ed.)Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
Cita MLA (9a ed.)Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
Precaución: Estas citas no son 100% exactas.