Search results for: Jin Song Dong
Knowledge-Based Systems > 2018 > 158 > C > 175-195
Formal Aspects of Computing > 2018 > 30 > 3-4 > 351-380
Lecture Notes in Computer Science > Web Technologies and Applications > XML Transformation > 120-131
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Papers > 371-377
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Probability > 147-162
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 74-93
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Internetware and Web-Based Systems > 226-245
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Program Reasoning and Testing > 265-279
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 5-24