Peldszus, Sven; Kulcsár, Géza; Lochau, Malte et al.

Ryan Stansifer; Andreas Krall (Hrsg). Proceedings of the 2015 International Conference on Principles and Practices of Programming on the Java platform PPPJ: Virtual Machines, Languages, and Tools; Melbourne, Florida; September 8 – 10, 2015. New York, NY: ACM Association for Computing Machinery 2015 S. 138 - 151

Lochau, Malte; Peldszus, Sven; Kowal, Matthias et al.

Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer (Hrsg). Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 310 - 342