Bytecode analysis for proof carrying code (2005)

by M Wildmoser, A Chaieb, T Nipkow
Venue:Bytecode Semantics, Verification, Analysis and Transformation, volume 141 of Electronic Notes in Theoretical Computer Science