Browse
Subject
Showing results 1 to 1 of 1
Issue Date | Title / Author(s) / Citation | File | Altmetrics |
---|---|---|---|
2020-01 | CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, pp.71-84 | DOI |
1