Project

Projet sur: ParTraP : un langage pour la specification et verification a l'execution de proprietes parametriques

Institut Supérieur de Commerce et d'Administration des Entreprises

Period: from 14-07-2019 to 14-07-2024

Link

ugue vestibulum rutrum rutrum neque aenean auctor gravida sem praesent id massa id nisl venenatis lacinia aenean sit amet justo morbi ut odio cras mi pede malesuada in imperdiet et commodo vulputate justo in

Manager