Search results for: Wei-Ngan Chin
Formal Aspects of Computing > 2019 > 31 > 2 > 207-230
Science of Computer Programming > 2017 > 148 > C > 189-212
Lecture Notes in Computer Science > Concurrency and Parallelism, Programming, Networking, and Security > 96-105
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 203-217
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Model Integration and Theory Unification > 187-203
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Program Analysis > 468-484
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification I > 171-187
Lecture Notes in Computer Science > Computer Aided Verification > Session 9: Program Verification > 355-369
Lecture Notes in Computer Science > Programming Languages and Systems > Types for Object-Oriented Languages > 112-127
Lecture Notes in Computer Science > Static Analysis > 124-140
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 4 > 251-266
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Regular Papers > 140-155
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Medley > 166-181