Automated Technology for Verification and Analysis More Books by Zhiming Liu & Anders P. Ravn
Theoretical Aspects of Computing – ICTAC 2025
2025
Engineering Trustworthy Software Systems
2025
Theoretical Aspects of Computing – ICTAC 2022
2022
Engineering Trustworthy Software Systems
2020
Engineering Trustworthy Software Systems
2019
Engineering Trustworthy Software Systems
2018
Engineering Trustworthy Software Systems
2017
Engineering Trustworthy Software Systems
2016
Formal Aspects of Component Software
2014
Formal Methods and Hybrid Real-Time Systems
2007
Domain Modeling and the Duration Calculus
2007