Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2001

Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B

No file

Dates and versions

hal-01124723 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01124723 , version 1

Cite

Régine Laleau, Amel Mammar. Un exemple de génération d'une implémentation relationnelle à partir d'une spécification B. [Research Report] CEDRIC-01-368, CEDRIC Lab/CNAM. 2001. ⟨hal-01124723⟩
5 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More