发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) - Budapest, Hungary (30-01 Sept. 2005)] Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) - Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking

[IEEE Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) - Budapest, Hungary (30-01 Sept. 2005)] Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05) - Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking

Hyoung Seok Hong, ; Insup Lee, ; Sokolsky, O.

作者Hyoung Seok Hong, ; Insup Lee, ; Sokolsky, O.
文件大小324.99KB
发表时间2005
DOI10.1109/scam.2005.2
页码25-34

← 返回【学霸图书馆】主页