English
English
Deutsch
日本語
Help
Privacy Policy
Disclaimer
Include files
Advanced Search
Browse
START
BASKET (0)
Tools
Item
ITEM ACTIONS
EXPORT
Add to Basket
Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_3287518_2
Details
Summary
CPP '20
Blanchette, J. C., & Hriţcu, C. (
Eds.
).
(2020).
CPP '20
. New York, NY: ACM. doi:10.1145/3372885.
Item is
Released
show all
hide all
Basic
show
hide
Item Permalink
:
https://hdl.handle.net/21.11116/0000-0008-0A6A-7
Version Permalink
:
https://hdl.handle.net/21.11116/0000-0008-0A6B-6
Genre
:
Proceedings
Subtitle
:
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Abbreviation
:
CPP 2020
Files
show Files
Locators
show
Creators
show
hide
Creators
:
Blanchette, Jasmin Christian
1
, Editor
Hriţcu, Cătălin
1
, Editor
Affiliations
:
1
External Organizations, ou_persistent22
Content
show
Details
show
hide
Language(s)
:
eng - English
Dates
:
Published Online:
2020
Publication Status
:
Published online
Pages
:
-
Publishing info
:
New York, NY : ACM
Table of Contents
:
-
Rev. Type
:
-
Identifiers
:
BibTex Citekey: Blanchette_cpp20
ISBN: 978-1-4503-7097-4
DOI:
10.1145/3372885
Degree
:
-
Event
show
hide
Title
:
9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Place of Event
:
New Orleans, LA, USA
Start-/End Date
:
2020-01-20 - 2020-01-21
Legal Case
show
Project information
show
Source
show