@inproceedings{BannwartMueller05, author = {F. Y. Bannwart and P. M{\"u}ller}, title = {A Logic for Bytecode}, booktitle = {Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE)}, editor = {F. Spoto}, year = {2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {141}, number = {1}, pages = {255--273}, publisher = {Elsevier}, urltopdf = {http://people.inf.ethz.ch/lehnerh/pm/publications/getpdf.php?bibname=Own&id=BannwartMueller05.pdf} }