Anzahl der Publikationen: 2
Konferenzbeitrag
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Lingsch Rosenfeld, Marian ORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130
(2022):
A Unifying Approach for Control-Flow-Based Loop Abstraction.
20th International Conference on Software Engineering and Formal Methods, SEFM 2022, Berlin, Germany, September 26–30, 2022.
Schlingloff, Bernd-Holger und Chai, Ming (Hrsg.):
In: Software Engineering and Formal Methods. 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13550
Cham, Switzerland: Springer. S. 3-19
Diese Liste wurde am
Sat Dec 21 21:40:43 2024 CET
erstellt.