@techreport{BannwartMueller04, author = {F. Y. Bannwart and P. M{\"u}ller}, title = {A Logic for Bytecode}, institution = {ETH Zurich}, year = {2004}, number = {469}, urltopdf = {http://people.inf.ethz.ch/lehnerh/pm/publications/getpdf.php?bibname=Own&id=BannwartMueller04.pdf} }