author : Mamoun Filali

Short works

• Type Synthesis in B and the Translation of B to PVS. 2002. (In ZB 2002 )