Java bytecode specification and verification.

Lilian Burdy, Mariela Pavlova

Browse the full SAC paper archive.