Welcome from the Chairs

被引：0

作者：

Pientka, Brigitte

Blazy, Sandrine

Traytel, Dmitriy

Timany, Amin

机构：

来源：

CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 | 2024年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用