@inproceedings{BGGsept2005,
  author={Jan Olaf Blech and Lars Gesellensetter and Sabine Glesner},
  title={Formal Verification of Dead Code Elimination in Isabelle/HOL},
  booktitle={Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods},
  year=2005,
  month=Sep,
  organization={IEEE},
  publisher={IEEE Computer Society Press},
  pages={200-209},
  address={Koblenz, Germany},
}