author : Samir Chouali

Short works

• Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. 2002. (In ZB 2002 )