Login / Signup

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024

Published in: CPP (2024)
Keyphrases