Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Citace podle Chicago (17th ed.)Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Citace podle MLA (9th ed.)Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..