Original language | English |
---|---|
Publisher | ACM |
Number of pages | 400 |
ISBN (Electronic) | 9781450370974 |
DOIs | |
Publication status | Published - Jan 2020 |
CPP 2020: The 9th ACM SIGPLAN International Conference on Certified Programs and Proofs: [Proceedings]
Jasmin Christian Blanchette (Editor), Cătălin Hrițcu (Editor)
Research output: Book / Report › Book (Editorship) › Academic