The C standard formalized in Coq

Fulltext present in this item

Format: PDF

Description: publisher's version

Title:	The C standard formalized in Coq
Author(s):	Krebbers, R.J.
Publication year:	2015
Publisher:	[S.l. : s.n.]
ISBN:	9789462599031
Number of Pages:	VIII, 227 p.
Series:	IPA dissertation series ; 2015-22
Annotation:	Radboud Universiteit Nijmegen, 1 december 2015 Promotor : Geuvers, J.H. Co-promotor : Wiedijk, F.
Publication type:	Dissertation
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/147182
Display more details
Subject:	Data Science
Organization:	Data Science

Faculty of Science [28910]
Open Access publications [56565]
Freely accessible full text publications
Dissertations [11223]
Electronic publications [87086]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [187613]
Academic output Radboud University