TY - GEN
AU - Smyth, Steven
AU - Domrös, Sören
AU - von Hanxleden, Reinhard
TI - A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts
KW - Report
KW - reporting
PY - 2019
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation