APA

Hriţcu C., ACM Special Interest Group on Programming Languages, . (2021). Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery.

Chicago

Hriţcu Cătălin, ACM Special Interest Group on Programming Languages, . 2021. Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery.

Harvard

Hriţcu C., ACM Special Interest Group on Programming Languages, . (2021). Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery.

MLA

Hriţcu Cătălin, ACM Special Interest Group on Programming Languages, . Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York,NY,United States: Association for Computing Machinery. 2021.