Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018

doi 10.1145/3176245
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

ACM Press

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy