Software Engineering and Formal Methods 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings Schlingloff, Bernd-Holger Heftet / 2022 / Engelsk
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany Schlingloff, Bernd-Holger Heftet / 2024 / Engelsk
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany Schlingloff, Bernd-Holger Innbundet / 2023 / Engelsk
Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Innbundet / 2022 / Engelsk
Formal Methods for Software Engineering Languages, Methods, Application Domains Roggenbach Markus Heftet / 2023 / Engelsk
