Sign in

Verified Bytecode Subroutines.

Gerwin KleinMartin Wildmoser
Published in: TPHOLs (2003)
Keyphrases
  • smart card
  • source code
  • java card
  • virtual machine
  • database
  • databases
  • case study
  • artificial intelligence
  • training data
  • management system