Search results for: Zhiming Liu
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 349-366
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 1. Invited Papers > 62-80
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 349-366
Science of Computer Programming > 2010 > 75 > 10 > 879-897
Science China Information Sciences > 2006 > 49 > 6 > 864-884