王柏堯 (BY Wang)
系所單位別 資訊工程學系
類別 兼任師資
姓名 王柏堯 (BY Wang)
職稱 教授
電子郵件
研究專長 model checking, formal veri cation, logic in computer science