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