Message Race Detection for Web Services by an SMT-Based Analysis
- Citation:
- Elwakil, M., Z. Yang, L. Wang, and Q. Chen,
"Message Race Detection for Web Services by an SMT-Based Analysis",
The 7th International Conference on Autonomic and Trusted Computing (ACT 2010), Xian, China, 2010.
Date Presented:
2010
