Search results for: Naijun Zhan
Journal of Symbolic Computation > 2017 > 80 > P1 > 62-86
Formal Aspects of Computing > 2017 > 29 > 4 > 751-775
Journal of Systems Science and Complexity > 2017 > 30 > 1 > 234-252
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 528-538
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods > 253-267
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Computer Science Logics > 136-150
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 244-259
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 191-206
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 351-365
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 110-124
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 > 277-291
Science China Information Sciences > 2015 > 58 > 11 > 1-20