本站大部份資料在 2016 年後就未更新，若資料內無明確標示資料時間，請預設該資料為過時資料並斟酌使用，謝謝
| column | value |
|---|---|
| 系統編號 | 102NTU05442065 |
| 作者 | 陳品&;#20120; |
| 論文名稱 | 自動化測試Android應用程式與藉線性時序邏輯之模型檢查 |
| 指導老師 | 王凡 |
| 學位名稱 | 碩士 |
| 學校名稱 | 臺灣大學 |
| 系所名稱 | 電機工程學研究所 |
| 畢業學年度 | 102 |
| 博碩士論文網址 | http://handle.ncl.edu.tw/11296/ndltd/30738415480683359022 |