Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. ACM, 2024. [doi]
Conference: CPP2024
@proceedings{cpp-2024,
title = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024},
year = {2024},
doi = {10.1145/3636501},
url = {https://doi.org/10.1145/3636501},
researchr = {https://researchr.org/publication/cpp-2024},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024},
conference = {CPP},
editor = {Amin Timany and Dmitriy Traytel and Brigitte Pientka and Sandrine Blazy},
publisher = {ACM},
}