Petra
Ouvrez la norme pour la vérification des logiciels formels évolutifs
En vedette
86 Votes
Description
Petra est la première norme ouverte au monde pour la vérification des logiciels formelle évolutive (orientée objet) et les outils de développeur professionnel pour la norme.