@inproceedings{DBLP:conf/sigsoft/YuWGB08,
author = {Fang Yu and
Chao Wang and
Aarti Gupta and
Tevfik Bultan},
title = {Modular verification of web services using efficient symbolic
encoding and summarization},
booktitle = {SIGSOFT FSE},
year = {2008},
pages = {192-202},
ee = {http://doi.acm.org/10.1145/1453101.1453127},
crossref = {DBLP:conf/sigsoft/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigsoft/2008,
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Proceedings of the 16th ACM SIGSOFT International Symposium
on Foundations of Software Engineering, 2008, Atlanta, Georgia,
USA, November 9-14, 2008},
booktitle = {SIGSOFT FSE},
publisher = {ACM},
year = {2008},
isbn = {978-1-59593-995-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
