APA (7th ed.) Citation

Rebai, S., Hadj Kacem, H., Karaa, M., Pomares, S. E., & Hadj Kacem, A. (2015, June). CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 191-196. https://doi.org/10.1109/WETICE.2015.14

Chicago Style (17th ed.) Citation

Rebai, Sirine, Hatem Hadj Kacem, Mohamed Karaa, Saul E. Pomares, and Ahmed Hadj Kacem. "CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification." Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Jun. 2015: 191-196. https://doi.org/10.1109/WETICE.2015.14.

MLA (9th ed.) Citation

Rebai, Sirine, et al. "CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification." Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun. 2015, pp. 191-196, https://doi.org/10.1109/WETICE.2015.14.