home
>
book reviews
> Mamoun Filali
Google >
Mamoun Filali
author : Mamoun Filali
Short works
Type Synthesis in B and the Translation of B to PVS. 2002.
(In
ZB 2002
)