Asserting Bytecode Safety.

Martin Wildmoser Tobias Nipkow

Published in: ESOP (2005)

Keyphrases

virtual machine
smart card
source code
real time
java card
genetic algorithm
safety analysis
databases
real world
social networks
website
software engineering
general purpose
data processing
intelligent vehicles
java virtual machine