Skip to Main content Skip to Navigation
Directions of work or proceedings

From Research to Teaching Formal Methods: The B Method (TFM-B'2008)

Abstract : Conference Proceedings
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00483735
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Sunday, May 16, 2010 - 11:29:51 PM
Last modification on : Wednesday, April 27, 2022 - 4:11:21 AM

Identifiers

  • HAL Id : hal-00483735, version 1

Citation

Christian Attiogbe, Henri Habrias. From Research to Teaching Formal Methods: The B Method (TFM-B'2008). Université de Nantes, pp.147, 2008. ⟨hal-00483735⟩

Share

Metrics

Record views

68