Projet

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

Période: du 14-07-2019 à 14-07-2024

Lien

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

Responsable