Chercher

Filtres courants :

Ajouter des filtres :

 

Résultats 1 à 2 sur un total de 2.

  • précédente
  • 1
  • suivante
Date de publicationTitreAuteur(s)TypeAccès au document
2006Vérification des systèmes à pile au moyen des algèbres de KleeneMathieu, VincentMémoire de maîtriseLibre accès
2006Oméga-Algèbre : théorie et application en vérification de programmesBolduc, ClaudeMémoire de maîtriseLibre accès