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 / ReportBook (Editorship) Academic

Original languageEnglish
PublisherACM
Number of pages400
ISBN (Electronic)9781450370974
DOIs
Publication statusPublished - Jan 2020

Cite this