Advertisement

Journal of Automated Reasoning

, Volume 30, Issue 3–4, pp 233–233 | Cite as

Java Bytecode Verification

  • Tobias Nipkow
Editorial Introduction

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Tobias Nipkow
    • 1
  1. 1.Munich

Personalised recommendations