Gottfried Wilhelm Leibniz Universität Hannover Fakultät für Elektrotechnik und Informatik Institut für Praktische Informatik Fachgebiet Software Engineering Generierung von Code zur Ausführung und Zustandsraumexploration
J. Greenyer, M. Haase, J. Marhenke, and R. Bellmer. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, page 1002--1005. New York, NY, USA, ACM, (2015)