%0 Generic
%T Flexible Correct-by-Construction Programming
%A Runge, Tobias
%A Bordis, Tabea
%A Potanin, Alex
%A Thüm, Thomas
%A Schaefer, Ina
%I Logical Methods in Computer Science
%@ 1860-5974
%K DATA processing & computer science
%D 2023-07-13
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Logical Methods in Computer Science
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation