Bruno Berstel-Da Silva

Verification of Business Rules Programs