Software Engineering and Formal Methods 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings Schlingloff, Bernd-Holger Heftet / 2022 / Engelsk
