Java Bytecode Verification: An Overview

Leroy, Xavier · Lecture Notes in Computer Science · 2001