@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}, }