SETTA 2025Posted in Formal Methods11th Symposium on Dependable Software Engineering: Theories, Tools and Applications Event Date: Dec 01, 2025 - Dec 03, 2025 Posted inLocation: Oxford, United Kingdom Deadline: Apr 30, 2025
