Search results for: Ran Ji
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The HATS Project > 125-146
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Medley > 197-212
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The HATS Project > 125-146
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Medley > 197-212