TY - GEN
AU - Smyth, Steven
AU - Christian-Albrechts-Universität zu Kiel Institut für Informatik
AU - Domrös, Sören
AU - Hanxleden, Reinhard von
TI - A Case-study on manual verification of state-based source code generated by KIELER SCCharts
PB - Christian-Albrechts-Universität zu Kiel, Institut für Informatik
KW - Forschungsbericht
PY - December 2019
N2 - Literaturverzeichnis Seite 13-14
BT - Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel ; Bericht Nr. 1905
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation