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