Media type: E-Book Title: Traits for Correct-by-Construction Programming Contributor: Runge, Tobias [VerfasserIn]; Potanin, Alex [VerfasserIn]; Thüm, Thomas [VerfasserIn]; Schaefer, Ina [VerfasserIn] imprint: Ulm: Universität Ulm, 2022 Extent: 1 Online-Ressource Language: English DOI: 10.18725/OPARU-51192 Identifier: Origination: Footnote: Access State: Open Access