author = { Runge, Tobias AND Potanin, Alex AND Thüm, Thomas AND Schaefer, Ina },

title = { Traits: Correctness-by-Construction for Free },

publisher = {Springer International Publishing},

isbn = {978-3-031-08679-3},

isbn = {0302-9743},

isbn = {1611-3349},

keywords = { DATA processing & computer science },

year = {2022-01-01},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }