%0 Generic
%T A Case-study on manual verification of state-based source code generated by KIELER SCCharts
%A Smyth, Steven
%A Christian-Albrechts-Universität zu Kiel Institut für Informatik
%A Domrös, Sören
%A Hanxleden, Reinhard von
%I Christian-Albrechts-Universität zu Kiel, Institut für Informatik
%K Forschungsbericht
%D December 2019
%X Literaturverzeichnis Seite 13-14
%C Christian-Albrechts-Universität zu Kiel, Institut für Informatik
%C Kiel
Download citation