Verified Bytecode Subroutines.

Gerwin Klein Martin Wildmoser

Published in: TPHOLs (2003)

Keyphrases

smart card
source code
java card
virtual machine
database
databases
case study
artificial intelligence
training data
management system