HOGGAS Nadia2024-05-142024-05-142019http://dspace.univ-khenchela.dz:4000/handle/123456789/4758frVérification des processus métiers BPMN : approche logiqueThesis