Design of Correct-by-Construction Self-adaptive Cloud Applications using Formal Methods. (Conception d'applications Cloud Auto-adaptatives Correct-by- Construction à l'aide de Méthodes Formelles). - Trinh Le Khanh (2023)