Login / Signup

Java Bytecode Verification: Algorithms and Formalizations.

Xavier Leroy
Published in: J. Autom. Reason. (2003)
Keyphrases
  • databases
  • data structure