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) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Frédéric Loulergue : 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 : mercredi 15 mai 2024-13:50:04
Archivage à long terme le : vendredi 17 janvier 2020-10:55:40