Year	2011
Authors	FANG YU
Paper Title	Fang Yu*;Tevfik Bultan;Ben Hardekopf, 2011.07, 'String Abstractions for String Verification, ' LNCS.(DBLP)(*為通訊作者)
Date of Publication	2011-07-01
ISI Number	338227