Person:
Zeige:
Adelt J; Liebrenz T; Herber P (2023) In: Gregor Engels; Regina Hebig; Matthias Tichy (Hrsg.), Software Engineering, 29-30. Paderborn: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Herber Paula, Adelt Julius, Liebrenz Timm (2021) In: Götz S, Linsbauer L, Schaefer I, Wortmann A (Hrsg.), Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021, 1-4. . Forschungsartikel in Sammelband (Konferenz) | Veröffentlicht | |
Liebrenz T, Herber P, Glesner S (2021) In: Science of Computer Programming, 211. doi:10.1016/j.scico.2021.102694 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Adelt J, Liebrenz T, Herber P (2021) In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods, 349-366. Cham: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Herber P, Liebrenz T, Adelt J (2021) In: Huisman M, Pasareanu C, Zhan N (Hrsg.), Formal Methods, 3-22. Cham: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
In: (Hrsg.), , -. | Peer reviewed |