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, и R. Bellmer. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, стр. 1002--1005. New York, NY, USA, ACM, (2015)