Citação norma APA

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).

Citação norma Chicago

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).

Citação norma MLA

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.