Preface
Publication year
2011Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science. Theoretical Computer Science and General issues ; 6898
ISBN
9783642228629
In
Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings, pp. V-VIPublication 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
Software Science
Foundations
Digital Security
Security of Systems
Book title
Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Page start
p. V
Page end
p. VI
Subject
Lecture Notes in Computer Science. Theoretical Computer Science and General issues; Data Science; Digital Security; Software ScienceThis item appears in the following Collection(s)
- Academic publications [245186]
- Electronic publications [132505]
- Faculty of Science [37457]
- Open Access publications [106090]
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.