Logiques pour la spécification et vérification
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Stéphane Demri : Connectez-vous pour contacter le contributeur
https://hal.science/tel-03189929
Soumis le : mardi 6 avril 2021-08:52:41
Dernière modification le : vendredi 24 mars 2023-14:53:21
Archivage à long terme le : mercredi 7 juillet 2021-18:08:57