Conference Papers
Year : 2003
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01124709
Submitted on : Friday, March 6, 2015-10:45:09 AM
Last modification on : Friday, August 5, 2022-2:54:00 PM
Dates and versions
Identifiers
- HAL Id : hal-01124709 , version 1
Cite
Amel Mammar, Régine Laleau. Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FM'2003, Springer-Verlag, LNCS n° 2805, pp 834-854, Pise,Italy, Jan 2003, X, France. ⟨hal-01124709⟩
Collections
10
View
0
Download