English  |  正體中文  |  简体中文  |  2823698  
???header.visitor??? :  30499600    ???header.onlineuser??? :  1145
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"hsieh chiao"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-2 of 2  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 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

Showing items 1-2 of 2  (1 Page(s) Totally)
1 
View [10|25|50] records per page