Electronic Notes in Theoretical Computer Science
Local database
Journal
Publications
(1)- Published
Towards Verification of Well-Formed Transactions in Java Card Bytecode
Publication: Research › Conference article – Annual report year: 2005
ID: 3127791