Theoretical Aspects of Computing – ICTAC 2023 Theoretical Aspects of Computing – ICTAC 2023
٢٠٢٣
Fundamentals of Software Engineering Fundamentals of Software Engineering
٢٠٢٣
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
٢٠٢٢
At The Pinnacle At The Pinnacle
٢٠١٨
Integrated Formal Methods Integrated Formal Methods
٢٠١٦
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
٢٠١٦