author : Jean-Paul Bodeveix

Short works

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