1 option
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs / Robbert Krebbers.
- Format:
- Book
- Author/Creator:
- Krebbers, Robbert, author.
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Computer science.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Physical Description:
- 1 online resource (347 pages).
- Other Title:
- CPP 2023
- Place of Publication:
- New York, New York : Association for Computing Machinery, 2023.
- 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.