Skip navigation
Skip navigation

CardS4: modal theorem proving on Java smart cards

CollectionsANU Research Publications
Date published: 2002
Type: Journal article
URI: http://hdl.handle.net/1885/61390
Source: Journal of Telecommunications and Information Technology

Download

There are no files associated with this item.


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator