@InProceedings{isola12challenges,
  author = 	 {Eric Bodden and Andreas Follner and Siegfried Rasthofer},
  title = 	 {Challenges in defining a programming language for provably correct dynamic analyses},
  booktitle = {5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012)},
  year = 	 {2012},
  month = 	oct,
  publisher = {Springer},
  pages={4--18},
  url = {https://www.bodden.de/pubs/bfr12challenges.pdf},
	annote = {an VGWort gemeldet},
}