Jasmin Blanchette, Catalin Hritcu, editors, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. ACM, 2020. [doi]
Conference: CPP2020
@proceedings{cpp-2020, title = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020}, year = {2020}, doi = {10.1145/3372885}, url = {https://doi.org/10.1145/3372885}, researchr = {https://researchr.org/publication/cpp-2020}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020}, conference = {CPP}, editor = {Jasmin Blanchette and Catalin Hritcu}, publisher = {ACM}, isbn = {978-1-4503-7097-4}, }