TY - GEN
AU - Runge, Tobias
AU - Potanin, Alex
AU - Thüm, Thomas
AU - Schaefer, Ina
TI - Traits: Correctness-by-Construction for Free
PB - Springer International Publishing
SN - 978-3-031-08679-3
SN - 0302-9743
SN - 1611-3349
KW - DATA processing & computer science
PY - 2022-01-01
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