Formal Verification of Evolutionary Changes
Beckert, Bernhard
; Mund, Jakob; Ulbrich, Mattias
; Weigl, Alexander
; Mund, Jakob; Ulbrich, Mattias
; Weigl, Alexander
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-030-13499-0 KITopen-ID: 1000120146 |
| Erschienen in | Managed Software Evolution. Hrsg.: Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin |
| Verlag | Springer |
| Seiten | 309–332 |
| Nachgewiesen in | Dimensions |