CPP 2025
Aug 24, 2024
·
1 min read
I am a member of the Program Commitee of the International Conference on Certified Programs and Proofs (CPP 2025).
I am a member of the Program Commitee of the International Conference on Certified Programs and Proofs (CPP 2025).