:::

系所成員

:::
裝飾性圖片
姓名王柏堯 (BY Wang)
E-mail
類別兼任教師
職稱兼任教授
系所別資訊工程學系
研究專長model checking, formal veri cation, logic in computer science
cron web_use_log