Projet

Projet sur: Quasi optimal model checking for concurrent systems

Ecole des Hautes Etudes Commerciales MAROC

Période: du 17-01-2019 à 17-01-2022

luctus et ultrices posuere cubilia curae mauris viverra diam vitae quam suspendisse

Responsable