Created in August 13, 2024
2024
🎤 Talk at Verified Trustworthy Software Systems (VeTSS) Summer School 2024, Bristol! 🇬🇧