Fulltext present in this item

Thumbnail
Fulltext: 130365.pdf
Format: PDF
Description: preprint version
Embargo: until further notice
Title: JavaCard Program Verification
Author(s): Jacobs, B.P.F.
Publication year: 2001
In: Boulton, R.; Jackson, P. (ed.), Theorem Proving in Higher Order Logics, pp. 1-3
Publisher: Berlin : Springer
ISBN: 9783540425250
Series: Lecture Notes in Computer Science ; 2152
DOI: http://dx.doi.org/10.1007/3-540-44755-5_1
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/130365   http://hdl.handle.net/2066/130365

Display more details
Editor(s): Boulton, R.; Jackson, P.
Subject: Digital Security
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

This item appears in the following Collection(s)

Browse

Statistics