Wyniki wyszukiwania dla: Zongyan Qiu
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 264-283
Lecture Notes in Computer Science > Formal Methods and Software Engineering > State Diagrams > 125-143
Lecture Notes in Computer Science > Certified Programs and Proofs > Session 8: Programming Languages > 247-263
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 251-266
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 440-459
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 2006 > Logic and Type Theory > 257-271
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 168-179
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Application of Formal Methods > 338-354
Lecture Notes in Computer Science
Software: Practice and Experience > 45 > 11 > 1519 - 1547
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 4 > 335-337
Frontiers of Computer Science > 2013 > 7 > 5 > 710-728
Frontiers of Computer Science > 2013 > 7 > 2 > 236-256