Markus Frohme
https://doi.org/10.1007/978-3-031-98685-7_7 2024 Language-Driven Engineering An Interdisciplinary Software Development Paradigm Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel [...] mutually recursive procedural systems Markus Frohme, Bernhard Steffen In: International Journal on Software Tools for Technology Transfer (Vol. 23, pp. 521–543, 2021) DOI: https://doi.org/10.1007/s10009- [...] Modal Meta Model Checking Tim Tegeler, Alsnid Murtovi, Markus Frohme, Bernhard Steffen In: From Software Engineering to Formal Methods and Tools, and Back (2019) DOI: https://doi.org/10.1007/978-3-030 …