王柏堯 BY Wang | 國立臺灣大學資訊工程學系

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