TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
SPIN 2025
31st International Symposium on Model Checking Software
|
ACM SAC 2025
40th ACM/SIGAPP Symposium On Applied Computing
|
IEEE-Ei/Scopus-ITCC 2025
2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
|
CETA 2025
2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
|
ICSEA 2025
The Twentieth International Conference on Software Engineering Advances
|
ICTSS 2025
37th International Conference on Testing Software and Systems
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
CAV 2025
37th International Conference on Computer Aided Verification
|