English
English
Deutsch
日本語
Help
Privacy Policy
Disclaimer
Include files
Advanced Search
Browse
START
BASKET (0)
Tools
Item
ITEM ACTIONS
EXPORT
Add to Basket
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