Assia Mahboubi, Magnus O. Myreen, editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019. ACM, 2019. [doi]
Conference: CPP2019
@proceedings{cpp-2019,
title = {Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3293880},
researchr = {https://researchr.org/publication/cpp-2019},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019},
conference = {CPP},
editor = {Assia Mahboubi and Magnus O. Myreen},
publisher = {ACM},
isbn = {978-1-4503-6222-1},
}