Chapitre D'ouvrage
Année : 2014
Julie Cagniard : Connectez-vous pour contacter le contributeur
https://uphf.hal.science/hal-03379039
Soumis le : jeudi 14 octobre 2021-18:30:52
Dernière modification le : samedi 18 mai 2024-03:25:36
Dates et versions
Identifiants
- HAL Id : hal-03379039 , version 1
Citer
Dorian Petit, Samuel Colin. BRILLANT/BCaml—AFreeTools Platform for the B Method. Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, John Wiley & Sons, Inc., 2014, 9781848217096. ⟨hal-03379039⟩
Collections
16
Consultations
0
Téléchargements