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]
No references recorded for this publication.
No citations of this publication recorded.