Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan. Modular verification of web services using efficient symbolic encoding and summarization. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 192-202, ACM, 2008. [doi]
@inproceedings{YuWGB08,
title = {Modular verification of web services using efficient symbolic encoding and summarization},
author = {Fang Yu and Chao Wang and Aarti Gupta and Tevfik Bultan},
year = {2008},
doi = {10.1145/1453101.1453127},
url = {http://doi.acm.org/10.1145/1453101.1453127},
tags = {web service, web services},
researchr = {https://researchr.org/publication/YuWGB08},
cites = {0},
citedby = {0},
pages = {192-202},
booktitle = {Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008},
editor = {Mary Jean Harrold and Gail C. Murphy},
publisher = {ACM},
isbn = {978-1-59593-995-1},
}