Reports
(Research Report)
Year : 1999
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01124517
Submitted on : Friday, March 6, 2015-10:37:51 AM
Last modification on : Wednesday, October 26, 2022-8:15:54 AM
Dates and versions
Identifiers
- HAL Id : hal-01124517 , version 1
Cite
Philippe Facon, Régine Laleau, Amel Mammar. Combining UML with the B Formal Method for the Specification of Database Applications. [Research Report] CEDRIC-99-87, CEDRIC Lab/CNAM. 1999. ⟨hal-01124517⟩
Collections
23
View
0
Download