Smyth, Steven
[VerfasserIn]
;
Domrös, Sören
[Sonstige Person, Familie und Körperschaft];
Hanxleden, Reinhard von
[Sonstige Person, Familie und Körperschaft]Christian-Albrechts-Universität zu Kiel Institut für Informatik
A Case-study on manual verification of state-based source code generated by KIELER SCCharts