Skip to Main content Skip to Navigation
Book sections

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Document type :
Book sections
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03517848
Contributor : Julie Cagniard Connect in order to contact the contributor
Submitted on : Saturday, January 8, 2022 - 10:58:25 AM
Last modification on : Sunday, January 9, 2022 - 3:29:28 AM

Identifiers

  • HAL Id : hal-03517848, version 1

Collections

Citation

Samuel Colin, Dorian Petit. BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B. Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

Share

Metrics

Les métriques sont temporairement indisponibles