EGE, Florian und TICHY, Matthias, 2021. Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution. In: . 1 Oktober 2021.
Elsevier - Harvard (with titles)Ege, F., Tichy, M., 2021. Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution, in: . https://doi.org/10.1109/MODELS50736.2021.00024
American Psychological Association 7th editionEge, F., & Tichy, M. (2021, Oktober 1). Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution. https://doi.org/10.1109/MODELS50736.2021.00024
Springer - Basic (author-date)Ege F, Tichy M (2021) Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution
Juristische Zitierweise (Stüber) (Deutsch)Ege, Florian/ Tichy, Matthias, Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution, 2021, .