Fulltext present in this item

Thumbnail
Fulltext: 129996.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: Formal C semantics: CompCert and the C standard
Author(s): Krebbers, R. ; Leroy, X.; Wiedijk, F.
Publication year: 2014
In: Klein, G. (ed.), Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, pp. 543-548
Publisher: Berlin : Springer
ISBN: 9783319089706
Series: Lecture notes in computer science ; 8558
DOI: http://dx.doi.org/10.1007/978-3-319-08970-6
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/129996   https://hdl.handle.net/2066/129996

Display more details
Editor(s): Klein, G.
Subject: Data Science
Organization: Data Science
Foundations
Software Science
Book title: Klein, G. (ed.), Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Page start: p. 543
Page end: p. 548

This item appears in the following Collection(s)

Browse

Statistics