演講資訊

題目:全自動軟體驗證技術研究與其應用
主講人：陳郁方 副研究員(中央研究院資訊科學研究所副研究員)

時間：107年6月1日(星期五13：30 - 15：00)

地點：臺北大學三峽校區社會科學大樓社B01