Shing-chi Cheung

On the Localization of Branch Faults in Object-Oriented Program

Xin-Ming Wang, Shing-chi Cheung, 2006 .

Tractable and Compositional Techniques for Behaviour Analysis of Concurrent Systems

Shing-chi Cheung, S. Cheung, 1994 .