Chinese Name
王柏堯
 
English Name
Wang, Bow-Yaw
 
 
Main Affiliation
 
Loading... 9 0 20 0 false
Research Fellow/Professor
Ph.D., Computer Science, University of Pennsylvania, United States
 
Model Checking
Formal Method