Model Checking Software
2019
Risks and Security of Internet and Systems
2018
Models, Algorithms, Logics and Tools
2017
Tools and Algorithms for the Construction and Analysis of Systems
2017
Tools and Algorithms for the Construction and Analysis of Systems
2017
Risks and Security of Internet and Systems
2017