Separation Algebras for C Verification in Coq

Fulltext present in this item

Fulltext: 134620.pdf

Format: PDF

Description: preprint version

Embargo: until further notice

Title:	Separation Algebras for C Verification in Coq
Author(s):	Krebbers, R.
Publication year:	2014
In:	Giannakopoulou, D.; Kroening, D. (ed.), Verified Software: Theories, Tools and Experiments, pp. 150-166
Publisher:	[S.l.] : Springer International Publishing
ISBN:	9783319121536
Series:	Lecture Notes in Computer Science
DOI:	https://doi.org/10.1007/978-3-319-12154-3_10
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/134620
Display more details
Editor(s):	Giannakopoulou, D.; Kroening, D.
Subject:	Data Science
Organization:	Data Science
Book title:	Giannakopoulou, D.; Kroening, D. (ed.), Verified Software: Theories, Tools and Experiments
Page start:	p. 150
Page end:	p. 166

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