Abderrahim Ait Wakrime, Saïd Jabbour. Formal Approach for QoS-Aware Cloud Service Composition. In Sumitra Reddy, Wojciech Cellary, Mariagrazia Fugini, editors, 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017. pages 30-35, IEEE Computer Society, 2017. [doi]