Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025. ACM, 2025. [doi]
Conference: CPP2025
No references recorded for this publication.
No citations of this publication recorded.