Reports
(Research Report)
Year : 2001
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01124723
Submitted on : Friday, March 6, 2015-10:45:37 AM
Last modification on : Wednesday, October 26, 2022-8:15:06 AM
Dates and versions
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⟩
Collections
5
View
0
Download