• A Type System for the Java Byt...

Treffer: A Type System for the Java Bytecode Language and Verifier

Title:
A Type System for the Java Bytecode Language and Verifier
Authors:
Freund, Stephen N., Mitchell, John C.
Source:
Journal of Automated Reasoning. May 2003 30(3-4):271-321
Database:
Springer Nature Journals