Bande, M. (2018). Consistance et protection des données dans les systèmes collaboratifs par les méthodes formelles [Thèse de doctorat, École Polytechnique de Montréal]. Disponible