年度	2008
全部作者	郁方
论文名称	Fang Yu*;Chao Wang;Aarti Gupta;Tevfik Bultan, 2008.11, 'Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization, ' the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, ACM SIGSOFT.(ACM, DBLP, IEEE)(*为通讯作者)
发表日期	2008-11-01
ISI Number	316609