Zhiming Liu

Books
Theoretical Aspects of Computing – ICTAC 2025 Theoretical Aspects of Computing – ICTAC 2025
Theoretical Aspects of Computing – ICTAC 2025
2025
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2025
Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
Theoretical Aspects of Computing – ICTAC 2022
2022
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2020
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2019
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2018