Search results for: Zhiming Liu
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 1. Invited Papers > 62-80
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia > 323-338