TY - GEN
AU - Bordis, Tabea
AU - Kodetzki, Maximilian
AU - Runge, Tobias
AU - Schaefer, Ina
TI - VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
PB - Springer International Publishing
SN - 978-3-031-26236-4
SN - 0302-9743
SN - 1611-3349
KW - DATA processing & computer science
PY - 2023-04-20
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation