Document quand l'auteur est "Hobeika, Christelle"Groupement par Type de document | sans groupement Nombre de documents archivés : 1. Hobeika, Christelle (2011). Méthodologie de vérification automatique basée sur l'utilisation des tests structurels de transition avec insertion de registres à balayage. Thèse de doctorat électronique, Montréal, École de technologie supérieure. |