There is no fulltext present in this item.

Find Full text  
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 : http://hdl.handle.net/2066/34751   http://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)

Browse

Statistics