Project

Projet sur: Quasi optimal model checking for concurrent systems

Ecole des Hautes Etudes Commerciales MAROC

Period: from 17-01-2019 to 17-01-2022

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

Manager