Media type: E-Article; Text; Electronic Conference Proceeding Title: Traits: Correctness-by-Construction for Free Contributor: Runge, Tobias [Author]; Potanin, Alex [Author]; Thüm, Thomas [Author]; Schaefer, Ina [Author] imprint: Springer International Publishing, 2022-01-01 Language: English DOI: https://doi.org/10.5445/IR/1000148429/post; https://doi.org/10.1007/978-3-031-08679-3_9 ISBN: 978-3-031-08679-3 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