Formalisation et vérification de théories de permutations Version 1 - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

Formalisation et vérification de théories de permutations Version 1

Fichier principal
Vignette du fichier
Gio20RR1715.pdf (832.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03033416 , version 1 (01-12-2020)

Identifiants

  • HAL Id : hal-03033416 , version 1

Citer

Alain Giorgetti. Formalisation et vérification de théories de permutations Version 1. [Rapport de recherche] UBFC - Université de Bourgogne Franche-comté; FEMTO-ST. 2020. ⟨hal-03033416⟩

Collections

TDS-MACS LARA
53 Consultations
148 Téléchargements

Partager

Gmail Facebook X LinkedIn More