Research work · 2001

Java Bytecode Verification: An Overview

Xavier Leroy

Lecture notes in computer science

Download PDF

DOI: 10.1007/3-540-44585-4_26