Jonas Lennard Becker-Kupczok
Aktuelle Zugehörigkeiten
- Professur für Praktische Informatik (Prof. Herber)
Publikationen
Becker-Kupczok, Jonas; Herber, Paula (2025) In: A., Madeira; A., Knapp (Hrsg.), Software Engineering and Formal Methods. SEFM 2024. Cham: Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Becker-Kupczok, Jonas; Herber, Paula (2024) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27…. Cham: Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) |