Proceedings of the 2015 Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Citazione stile Chigago Style (17a edizione)Proceedings of the 2015 Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Citatione MLA (9a ed.)Proceedings of the 2015 Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
Attenzione: Queste citazioni potrebbero non essere precise al 100%.