Powered by
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024),
January 15-16, 2024,
London, UK
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024)
Frontmatter
Keynote
Papers
proc time: 4.04