Search

Current filters:

Add filters:

 

Results 1-2 of 2 (Search time: 0.018 seconds).

  • previous
  • 1
  • next
Issue DateTitleAuthor(s)TypeAccess
2006Vérification des systèmes à pile au moyen des algèbres de KleeneMathieu, VincentMémoire de maîtriseOpen access
2006Oméga-Algèbre : théorie et application en vérification de programmesBolduc, ClaudeMémoire de maîtriseOpen access