Verified Bytecode Subroutines.

Gerwin Klein Martin Wildmoser

Published in: J. Autom. Reason. (2003)

Keyphrases

smart card
source code
virtual machine
java card
databases
real world
machine learning
information systems
case study
pattern recognition
lower bound
distributed systems