:::

People

:::
Decorative image
NameBo-Yao Wang
E-mail
CategoryAdjunct Professors
Job titleAdjunct Professor
Department資訊工程學系
Research expertisemodel checking, formal veri cation, logic in computer science
cron web_use_log