Introduction à la preuve de programmes
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Christine Tasson : Connectez-vous pour contacter le contributeur
https://cel.hal.science/hal-02950782
Soumis le : lundi 28 septembre 2020-11:53:14
Dernière modification le : vendredi 17 mai 2024-16:10:09
Archivage à long terme le : jeudi 3 décembre 2020-19:41:41