Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Academic publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
There is no fulltext present in this item.
Title:
From sequential Java to Java Card
Author(s):
Mostowski, Wojtek
Publication year:
2007
In:
Beckert, Bernhard; H"ahnle, Reiner; Schmitt, Peter H. (ed.), Verification of Object-Oriented Software: The KeY Approach, pp. 375-405
Publisher:
Berlin etc. : Springer
ISBN:
354068977X
Series:
LNAI ; 4334
Publication type:
Part of book or chapter of book
Please use this identifier to cite or link to this item :
https://hdl.handle.net/2066/34751
Display more details
Editor(s):
Beckert, Bernhard
;
H"ahnle, Reiner
;
Schmitt, Peter H.
Subject:
Security of Systems
Organization:
Security of Systems
Book title:
Beckert, Bernhard; H"ahnle, Reiner; Schmitt, Peter H. (ed.), Verification of Object-Oriented Software: The KeY Approach
Page start:
p. 375
Page end:
p. 405
This item appears in the following Collection(s)
Faculty of Science
[28757]
Academic publications
[186038]
Academic output Radboud University
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics