Anzahl der Publikationen: 2
2022
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
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130 und Umbricht, Sven ORCID: https://orcid.org/0000-0002-5704-0404
(2022):
Cooperation Between Automatic and Interactive Software Verifiers.
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. 111-128
Diese Liste wurde am
Sat Dec 21 22:16:18 2024 CET
erstellt.