Larbaoui, L. (2020). Vérification automatique de la confidentialité différentielle [Mémoire de maîtrise, Polytechnique Montréal]. Disponible