Publication year
2011Publisher
Berlin / Heidelberg : Springer
Series
Lecture Notes in Computer Science ; 6898
ISBN
9783642228629
In
Eekelen, M. van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving, pp. 3-17Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Eekelen, M. van
Geuvers, H.
Schmaltz, J.
Wiedijk, F.
Organization
Security of Systems
Digital Security
Book title
Eekelen, M. van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving
Page start
p. 3
Page end
p. 17
Subject
Digital SecurityThis item appears in the following Collection(s)
- Academic publications [203608]
- Faculty of Science [32102]
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.