Visual Specification Language and Automatic Checking of Business Process.
['Outman El Hichami', 'Mohammed Al Achhab', 'Ismail Berrada', 'Badr Eddine El Mohajir']
Visual Specification Language and Automatic Checking of Business Process.