
Publication Overview
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 |
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 |