Translation missing: zh_tw.personal_conference.year	2011
Translation missing: zh_tw.personal_conference.authors	郁方
Translation missing: zh_tw.personal_conference.paper_title	Fang Yu*;Tevfik Bultan;Ben Hardekopf, 2011.07, 'String Abstractions for String Verification, ' LNCS.(DBLP)(*为通讯作者)
Translation missing: zh_tw.personal_conference.publication_date	2011-07-01
Translation missing: zh_tw.personal_conference.isi_number	338227