Software Engineering and Formal Methods

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;