Saadi, Wafa (2009) Un cadre formel pour la vérification des modèles UML. Masters thesis, Université Mohamed Khider Biskra.