年度	2009
全部作者	郁方
論文名稱	Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2009.03, 'Symbolic String Verification: Combining String Analysis and Size Analysis, ' the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.(ACM, DBLP, IEEE)(*為通訊作者)
發表日期	2009-03-01
ISI Number	316603