臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

關於TAIR
	計畫說明

"hsieh chiao"的相關文件

回到依作者瀏覽
依題名排序	依日期排序

顯示項目 1-2 / 2 (共1頁)
1
每頁顯示[10|25|50]項目

機構	日期	題名	作者
臺大學術典藏	2020-06-04T07:48:50Z	Verifying Recursive Programs Using Intraprocedural Analyzers.	Chen, Yu-Fang;Hsieh, Chiao;Tsai, Ming-Hsien;Wang, Bow-Yaw;Wang, Farn; Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; Wang, Farn; FARN WANG
國立臺灣大學	2015	以程式變換方法協助程式分析器驗證遞迴程式	謝橋; Hsieh, Chiao

顯示項目 1-2 / 2 (共1頁)
1
每頁顯示[10|25|50]項目

	English \| 正體中文 \| 简体中文 \| 總筆數 :2823698
	造訪人次 : 30520042 線上人數 : 1334 教育部委託研究計畫計畫執行:國立臺灣大學圖書館