> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction Beteiligte: Bordis, Tabea; Kodetzki, Maximilian; Runge, Tobias; Schaefer, Ina Erschienen: Springer International Publishing, 2023 Erschienen in: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops (2023), Seite 156-163 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-031-26236-4_13 ISBN: 9783031262357; 9783031262364 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: