Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023. ACM, 2023. [doi]

Conference: CPP2023

This author has not been identified. It may be one of the following persons:

Robbert Krebbers

Look up 'Robbert Krebbers' in GoogleThis author has not been identified. Look up 'Dmitriy Traytel' in GoogleThis author has not been identified. Look up 'Brigitte Pientka' in GoogleThis author has not been identified. Look up 'Steve Zdancewic' in Google

runs on WebDSL