HOGGAS Nadia2024-09-182024-09-182020http://dspace.univ-khenchela.dz:4000/handle/123456789/6602frVérification des processus métiers BPMN : approche logiqueThesis