Skip to Main content Skip to Navigation
Book sections

From UML Diagrams to B Specifications

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00145958
Contributor : Régine Laleau <>
Submitted on : Sunday, May 13, 2007 - 10:07:53 PM
Last modification on : Friday, May 29, 2020 - 3:30:03 PM

Identifiers

  • HAL Id : hal-00145958, version 1

Collections

Citation

Régine Laleau, Amel Mammar. From UML Diagrams to B Specifications. Henri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006. ⟨hal-00145958⟩

Share

Metrics

Record views

100