Theoretical Aspects of Computing – ICTAC 2023 Theoretical Aspects of Computing – ICTAC 2023
2023년
Fundamentals of Software Engineering Fundamentals of Software Engineering
2023년
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
2022년
At The Pinnacle At The Pinnacle
2018년
Integrated Formal Methods Integrated Formal Methods
2016년
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
2016년