中文版
English
研究員  |  王柏堯  
 
contact
vita
education
experience
interests
descriptions
activities
grants
supervised
Personal (New window)
 
 
 
 
 
Research Interests
 
  • Model Checking
  • Formal Method
  •  
     
    bg