Wassim Jendoubi Directeur : Guy Tremblay wassim.jendoubi@gmail.com UQAM Autre Sujets d’intérêts Vérification dynamique de contrats exprimés sous formes de protocoles dans un engin BPEL