Publication Overview

Matteo Maffei

Security & privacy column

Published in: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018
Year: 2017
Volume: 4
Pages: 18