DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
journal:(Electronic AND Notes AND in AND Theoretical AND Computer AND Science) AND title:(Towards AND Verification AND of AND Well-Formed AND Transactions AND in AND Java AND Card AND Bytecode)
Suggestions: Include records that partially match the query
Towards Verification of Well-Formed Transactions in Java Card Bytecode
Year: 2005
Language: English
Towards Verification of Well-Formed Transactions in Java Card Bytecode 10.1016/j.entcs.2005.02.032
Year: 2005
Language: English