Media type: E-Article; Text; Electronic Conference Proceeding Title: VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction Contributor: Bordis, Tabea [Author]; Kodetzki, Maximilian [Author]; Runge, Tobias [Author]; Schaefer, Ina [Author] imprint: Springer International Publishing, 2023-04-20 Language: English DOI: https://doi.org/10.5445/IR/1000158023; https://doi.org/10.1007/978-3-031-26236-4_13 ISBN: 978-3-031-26236-4 ISSN: 0302-9743; 1611-3349 Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access