*Result*: A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts
*Title*:
A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts / Steven Smyth, Sören Domrös, Reinhard von Hanxleden
*Author/editor-in-chief*:
*Publication*:
Kiel : Universitätsbibliothek Kiel, 2019
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*series_multipart*:
Technische Berichte des Instituts für Informatik der CAU Kiel ; 1905