
Fulltext:
184426.pdf
Embargo:
until further notice
Size:
256.5Kb
Format:
PDF
Description:
publisher's version
Publication year
2018Publisher
New York : ACM
ISBN
9781450355865
In
Andronick, J. (ed.), CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018, pp. 201-214Annotation
CPP 2018: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Andronick, J.
Organization
Software Science
Book title
Andronick, J. (ed.), CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018
Page start
p. 201
Page end
p. 214
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [203856]
- Electronic publications [102283]
- Faculty of Science [32143]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.