"Gagnon, Patrice"
![[Monter]](/style/images/multi_up.png)
Monter d'un niveauGroupement par Type de document | sans groupement
Aller à Thèse et mémoire
Nombre de documents archivés : 1.
Thèse et mémoire
Gagnon, Patrice (2007). Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture. Mémoire. Trois-Rivières, Université du Québec à Trois-Rivières, 157 p.