Amir Goharshady | Christoph Haase
Dependable Software Engineering. Theories, Tools, and Applications
11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings