Login / Signup

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023

Published in: CPP (2023)
Keyphrases