Research Fellow/Professor |
Wang, Bow-Yaw
Research Interests
Model Checking
Formal Method