English
English
Deutsch
日本語
Help
Privacy Policy
Disclaimer
Include files
Advanced Search
Browse
START
BASKET (0)
Tools
Item
ITEM ACTIONS
EXPORT
EndNote (UTF-8)
BibTeX
JSON
eSciDoc XML
MarcXML
pdf
docx (MS Word, Open Office)
html (plain)
html (linked)
JSON Snippet
eSciDoc Snippet
Download
E-Mail
Local Tags
Release History
Details
Summary
CPP'17
Bertot, Y., & Vafeiadis, V. (
Eds.
).
(2017).
CPP'17
. New York, NY: ACM.
Item is
Released
show all
hide all
Basic
show
hide
Item Permalink
:
https://hdl.handle.net/21.11116/0000-0000-767C-1
Version Permalink
:
https://hdl.handle.net/21.11116/0000-0000-76BF-5
Genre
:
Proceedings
Subtitle
:
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Abbreviation
:
CPP 2017
Files
show Files
Locators
show
Creators
show
hide
Creators
:
Bertot, Yves
1
, Editor
Vafeiadis, Viktor
2
, Editor
Affiliations
:
1
External Organizations, ou_persistent22
2
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293
Content
show
Details
show
hide
Language(s)
:
eng - English
Dates
:
Published Online:
2017
Date issued:
2017
Publication Status
:
Issued
Pages
:
VIII, 235 p.
Publishing info
:
New York, NY : ACM
Table of Contents
:
-
Rev. Type
:
-
Identifiers
:
ISBN: 978-1-4503-4705-1
Degree
:
-
Event
show
hide
Title
:
6th ACM SIGPLAN Conference on Certified Programs and Proofs
Place of Event
:
Paris, France
Start-/End Date
:
2017-01-16 - 2017-01-17
Legal Case
show
Project information
show
Source
show