A Logic for Bytecode.F. Y. Bannwart, P. Müller, In Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) (F. Spoto, ed.), Elsevier, volume 141, 2005. [pdf][bib]
2004
A Logic for Bytecode.F. Y. Bannwart, P. Müller, Technical report, ETH Zurich, 2004. [pdf][bib]