ISO-690 (author-date, English)

SMYTH, Steven, DOMRÖS, Sören und HANXLEDEN, Reinhard von, 2019. A Case-study on manual verification of state-based source code generated by KIELER SCCharts. Kiel: Christian-Albrechts-Universität zu Kiel.

Elsevier - Harvard (with titles)

Smyth, S., Domrös, S., Hanxleden, R. von, 2019. A Case-study on manual verification of state-based source code generated by KIELER SCCharts, Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Christian-Albrechts-Universität zu Kiel, Kiel. https://doi.org/urn:nbn:de:gbv:8:1-zs-00000364-a5

American Psychological Association 7th edition

Smyth, S., Domrös, S., & Hanxleden, R. von. (ca. 2019). A Case-study on manual verification of state-based source code generated by KIELER SCCharts [Cd]. In Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel. Christian-Albrechts-Universität zu Kiel. https://doi.org/urn:nbn:de:gbv:8:1-zs-00000364-a5

Springer - Basic (author-date)

Smyth S, Domrös S, Hanxleden R von (2019) A Case-study on manual verification of state-based source code generated by KIELER SCCharts. Christian-Albrechts-Universität zu Kiel, Kiel

Juristische Zitierweise (Stüber) (Deutsch)

Smyth, Steven/ Domrös, Sören/ Hanxleden, Reinhard von, A Case-study on manual verification of state-based source code generated by KIELER SCCharts, Kiel 2019.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.