Media type: E-Article; Text Title: Flexible Correct-by-Construction Programming Contributor: Runge, Tobias [Author]; Bordis, Tabea [Author]; Potanin, Alex [Author]; Thüm, Thomas [Author]; Schaefer, Ina [Author] imprint: Logical Methods in Computer Science, 2023-07-13 Published in: Logical Methods in Computer Science, Volume 19, Issue 2 (2), 16:1 – 16:36 ; ISSN: 1860-5974 Language: English DOI: https://doi.org/10.46298/lmcs-19(2:16)2023 ISSN: 1860-5974 Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access