
Fulltext:
130365.pdf
Embargo:
until further notice
Size:
1.045Mb
Format:
PDF
Description:
preprint version
Publication year
2001Author(s)
Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 2152
ISBN
9783540425250
In
Boulton, R.; Jackson, P. (ed.), Theorem Proving in Higher Order Logics, pp. 1-3Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Boulton, R.
Jackson, P.
Organization
Security of Systems
Digital Security
Book title
Boulton, R.; Jackson, P. (ed.), Theorem Proving in Higher Order Logics
Page start
p. 1
Page end
p. 3
Subject
Digital SecurityThis item appears in the following Collection(s)
- Non RU Publications [13244]
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.