1 option
PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA
- Format:
- Book
- Author/Creator:
- Danielsson, Nils Anders
- Series:
- ACM Conferences
- Language:
- English
- Physical Description:
- 1 online resource (60 pages)
- Other Title:
- Programming Languages meets Program Verification '14 : proceedings of the 2014 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, United States of America
- Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
- Proceedings of the Association for Computing Machinery Special Interest Group on Programming Languages 2014 Workshop on Programming Languages meets Program Verification
- Place of Publication:
- [Place of publication not identified] ACM 2014
- Language Note:
- English
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- ISBN:
- 1-4503-2567-X
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.