APA

Blanchette J., ACM Special Interest Group on Programming Languages & ACM Special Interest Group on Logic and Computation. (2020). Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery.

Chicago

Blanchette Jasmin, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Logic and Computation. 2020. Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery.

Harvard

Blanchette J., ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Logic and Computation. (2020). Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery.

MLA

Blanchette Jasmin, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Logic and Computation. Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery. 2020.