APA (7e ed.) Bronvermelding

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).

Chicago (17e ed.) Bronvermelding

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).

MLA (9e ed.) Bronvermelding

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).

Let op: Deze citaties zijn niet altijd 100% accuraat.