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

From Research to Teaching Formal Methods: The B Method - TFM-B'2009

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

https://hal.archives-ouvertes.fr/hal-00481604
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Friday, May 7, 2010 - 12:27:47 AM
Last modification on : Wednesday, April 27, 2022 - 4:10:55 AM

Identifiers

  • HAL Id : hal-00481604, version 1

Citation

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

Share

Metrics

Record views

51