home
>
book reviews
> Christophe Darlot
Google >
Christophe Darlot
author : Christophe Darlot
Short works
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 2000.
(In
ZB 2000
)
Refinement preserves PLTL properties. 2003.
(In
ZB 2003
)