Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Notes De Synthèse
Année : 2019
Martin Clochard : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02047458
Soumis le : dimanche 24 février 2019-21:30:22
Dernière modification le : jeudi 28 novembre 2024-15:42:02
Archivage à long terme le : samedi 25 mai 2019-12:29:50
Dates et versions
Identifiants
- HAL Id : hal-02047458 , version 1
Citer
Martin Clochard. Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance). 2019. ⟨hal-02047458⟩
Collections
48
Consultations
64
Téléchargements