Search results for: Zhiming Liu
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Object-Orientation and Component Systems > 485-500
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Invited Speakers > 70-95
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 > International Symposium on Fundamentals of Software Engineering > 191-206
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Model Integration and Theory Unification > 170-186
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
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 349-366
Innovations in Systems and Software Engineering > 2013 > 9 > 1 > 3-16
Theoretical Computer Science > 2012 > 455 > Complete > 31-65
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 6 > 631-638
Electronic Notes in Theoretical Computer Science > 2007 > 187 > Complete > 145-159
Theoretical Computer Science > 2006 > 365 > 1-2 > 109-142
Electronic Notes in Theoretical Computer Science > 2005 > 130 > Complete > 57-77
Formal Aspects of Computing > 2004 > 16 > 2
Formal Aspects of Computing > 2004 > 16 > 2 > 140-154
Theoretical Computer Science > 2001 > 253 > 1 > 119-152