Chapitre D'ouvrage
Année : 2006
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03200794
Soumis le : vendredi 16 avril 2021-18:50:44
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Dates et versions
Identifiants
- HAL Id : hal-03200794 , version 1
Citer
Jean Goubault-Larrecq. Preuve et vérification pour la sécurité et la sûreté. Encyclopédie de l'informatique et des systèmes d'information, chapitre I.6, pages 683--703. Vuibert, 2006. ⟨hal-03200794⟩
Collections
9
Consultations
0
Téléchargements