Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Tohutoru Kātū Chicago (17th ed.)Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Tohutoro MLA (9th ed.)Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.