author : Amel Mammar

Short works

• A Generic Process to Refine a B Specification into a Relational Database Implementation. 2000. (In ZB 2000 )