home
>
book reviews
> Samir Chouali
Google >
Samir Chouali
author : Samir Chouali
Short works
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 2002.
(In
ZB 2002
)