home
>
book reviews
> Francoise Bellegarde
Google >
Francoise Bellegarde
author : Francoise Bellegarde
Short works
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 2000.
(In
ZB 2000
)
Synchronized Parallel Composition of Event Systems in B. 2002.
(In
ZB 2002
)
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 2002.
(In
ZB 2002
)