La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Loading...
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02317143
Soumis le : mardi 15 octobre 2019-19:41:31
Dernière modification le : mardi 7 octobre 2025-15:12:02
Archivage à long terme le : vendredi 17 janvier 2020-10:55:40