BRILLANT/BCaml—AFreeTools Platform for the B Method - Université Polytechnique des Hauts-de-France Access content directly
Book Sections Year : 2014

BRILLANT/BCaml—AFreeTools Platform for the B Method

No file

Dates and versions

hal-03379039 , version 1 (14-10-2021)

Identifiers

  • HAL Id : hal-03379039 , version 1

Cite

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⟩
10 View
0 Download

Share

Gmail Facebook X LinkedIn More