Book Sections
Year : 2006
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03200794
Submitted on : Friday, April 16, 2021-6:50:44 PM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Dates and versions
Identifiers
- HAL Id : hal-03200794 , version 1
Cite
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
View
0
Download