@inproceedings{WildmoserN-ESOP05,
  author =  {Martin Wildmoser and Tobias Nipkow},
  title =   {Asserting Bytecode Safety},
  booktitle ={Proceedings of the 14th European Symposium on Programming (ESOP 2005)},
  editor = {Mooly Sagiv},
  series = LNCS,
  publisher = "Springer Verlag",
  volume = "3444",
  pages = "326--341",
  year =    2005}