home
>
book reviews
> Pierre Bontron
Google >
Pierre Bontron
author : Pierre Bontron
Short works
Automatic Construction of Validated B components from Structured Developments. 2000.
(In
ZB 2000
)