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