English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  CPP '20

Blanchette, J., & Hriţcu, C. (Eds.). (2020). CPP '20. New York, NY: ACM. doi:10.1145/3372885.

Item is

 

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-000D-0B27-C
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, Jasmin1, Editor           
Hriţcu, Cătălin1, Editor           
Affiliations:
1External Organizations, ou_persistent22              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 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