The Mathematical Foundation of the Proof Assistant Sparkle

Fulltext present in this item

Fulltext: 36563.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	The Mathematical Foundation of the Proof Assistant Sparkle
Author(s):	Mol, Maarten de ; Eekelen, M.C.J.D. van ; Plasmeijer, Rinus
Publication year:	2007
Publisher:	onbekend : Institute for Computing and Information Sciences
Number of Pages:	219 p.
Series:	Technical Report ; ICIS--R07025
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/36563
Display more details
Subject:	Security of Systems Software Technology
Organization:	Software Technology Security of Systems

Faculty of Science [25931]
Electronic publications [74967]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166213]
Academic output Radboud University