Welcome from the chairs

被引：0

作者：

Mahboubi, Assia

Myreen, Magnus O.

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用