TY - GEN
AU - Runge, Tobias
AU - Bordis, Tabea
AU - Potanin, Alex
AU - Thüm, Thomas
AU - Schaefer, Ina
TI - Flexible Correct-by-Construction Programming
PB - Logical Methods in Computer Science
SN - 1860-5974
KW - DATA processing & computer science
PY - 2023-07-13
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
BT - Logical Methods in Computer Science, Volume 19, Issue 2 (2), 16:1 – 16:36 ; ISSN: 1860-5974
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation