|
English
|
正體中文
|
简体中文
|
2823698
|
|
???header.visitor??? :
30509327
???header.onlineuser??? :
2448
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"hsieh chiao"???jsp.browse.items-by-author.description???
Showing items 1-2 of 2 (1 Page(s) Totally) 1 View [10|25|50] records per page
臺大學術典藏 |
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
|