|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
|
TASE 2025
19th International Symposium on Theoretical Aspects of Software Engineering
|
|
FACS 2024
20th International Conference on Formal Aspects of Component Software
|
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
|
SPIN 2025
31st International Symposium on Model Checking Software
|
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|
|
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
|
|
ISORC 2025
International Symposium on Real-Time Distributed Computing
|
|
ECSA 2025
19th European Conference on Software Architecture
|
