1 option
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs / Robbert Krebbers.
- Format:
- Book
- Author/Creator:
- Krebbers, Robbert, author.
- Language:
- English
- Subjects (All):
- Computer science--Congresses.
- Computer science.
- Physical Description:
- 1 online resource (347 pages)
- Place of Publication:
- New York, New York : Association for Computing Machinery, 2023.
- Summary:
- Welcome to the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023)! CPP covers the practical and theoretical topics in all areas that consider formal verification and certification as essential paradigms for their work. CPP spans topics in computer science, mathematics, logic, and education. CPP 2023 will be held on 16-17 January 2023 in Boston, Massachusetts, United States. The conference is co-located with POPL 2023, and is sponsored by ACM SIGPLAN in cooperation with ACM SIGLOG.
- Notes:
- Description based on publisher supplied metadata and other sources.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.