home
>
book reviews
> Amel Mammar
Google >
Amel Mammar
author : Amel Mammar
Short works
A Generic Process to Refine a B Specification into a Relational Database Implementation. 2000.
(In
ZB 2000
)