Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Nipkow, T. Java Bytecode Verification. Journal of Automated Reasoning 30, 233 (2003). https://doi.org/10.1023/A:1025086804452
Issue Date:
DOI: https://doi.org/10.1023/A:1025086804452