page d'accueil   sommaire  
synthèse de logiciel
Liste des unités de recherche et des chercheurs ayant déclarés ce mot clé.


unités de recherche


Méthodes formelles et vérification [Verification and formal methods] (Verif)



chercheurs





disciplines associées


Informatique appliquée logiciel Informatique mathématique