Software engineering and formal methods 20th international conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, proceedings - Schlingloff, Bernd-Holger 1959-; Chai, Ming (Springer, 2022)