Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
2025
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
2022