Software engineering and formal methods: 20th international conference, sefm 2022, berlin, germany, september 26–30, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031171079
Date de publication :
21 sept. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. formal methods for intelligent and learning systems;