Bordis, Tabea
[Verfasser:in];
Cleophas, Loek
[Verfasser:in];
Kittelmann, Alexander
[Verfasser:in];
Runge, Tobias
[Verfasser:in];
Schaefer, Ina
[Verfasser:in];
Watson, Bruce W.
[Verfasser:in]
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
Titel:
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
Beteiligte:
Bordis, Tabea
[Verfasser:in];
Cleophas, Loek
[Verfasser:in];
Kittelmann, Alexander
[Verfasser:in];
Runge, Tobias
[Verfasser:in];
Schaefer, Ina
[Verfasser:in];
Watson, Bruce W.
[Verfasser:in]
Erschienen:
Springer International Publishing, 2022-11-15