Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings

MLA

Bernd-Holger Schlingloff, and Ming Chai. Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26–30, 2022, Proceedings. Springer Nature, 2022.

APA

Bernd-Holger Schlingloff, B. Schlingloff, & Chai, M. (2022). Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. Springer Nature.

Chicago

Bernd-Holger Schlingloff, and Ming Chai. Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. : Springer Nature, 2022.