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

Full text!
Format:
e-book
Title:
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
Author:
Bernd-Holger Schlingloff; Chai, Ming
Language:
English
Publisher:
Springer Nature 2022
ISBN:
3-031-17107-1
3-031-17108-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:5850000000078704?locale=en