年度	2011
全部作者	郁方
論文名稱	Fang Yu*;Tevfik Bultan;Ben Hardekopf, 2011.07, 'String Abstractions for String Verification, ' LNCS.(DBLP)(*為通訊作者)
發表日期	2011-07-01
ISI Number	338227