Formalisation et vérification de théories de permutations Version 1
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
DISC Femto-st : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03033416
Soumis le : mardi 1 décembre 2020-12:57:50
Dernière modification le : jeudi 13 avril 2023-09:26:12
Archivage à long terme le : mardi 2 mars 2021-19:07:28