Skip to Main content Skip to Navigation
Book sections

BRILLANT/BCaml—AFreeTools Platform for the B Method

Document type :
Book sections
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03379039
Contributor : Mylène Delrue Connect in order to contact the contributor
Submitted on : Thursday, October 14, 2021 - 6:30:52 PM
Last modification on : Tuesday, October 19, 2021 - 6:38:14 PM

Identifiers

  • HAL Id : hal-03379039, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

15