CPP 2018: CPP - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. ACM, 2018.

runs on WebDSL