Login / Signup
Verified bytecode verifiers.
Gerwin Klein
Tobias Nipkow
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
smart card
source code
virtual machine
java card
high level
java virtual machine
database
real world
feature extraction
data structure