Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Cita Chicago (17th ed.)Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Cita MLA (8th ed.)Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Atenció: Aquestes cites poden no estar 100% correctes.