A logic for bytecode (2005)

by F Y Bannwart, P Müller
Venue:In Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), volume 141-1 of Electronic Notes in Theoretical Computer Science