Login / Signup
Verified bytecode verification and type-certifying compilation.
Gerwin Klein
Martin Strecker
Published in:
J. Log. Algebraic Methods Program. (2004)
Keyphrases
</>
java card
model checking
smart card
website
database
neural network
virtual machine
real world
query processing
programming language
face verification
java bytecode