Islem Gmati, Michele Missikoff, Selmin Nurcan. A Systematic Method for the Intentional Modeling and Verification of Business Applications.
VII Conference of the Italian Chapter of AIS Information technoogy and Innovation trend in Organization, Oct 2010, Naples, Italy. pp.628-649.
⟨hal-00662948⟩