Sites Inria

English version

Equipe de recherche PROVAL

Proof of Programs

  • Responsable : Claude Marche
  • Centre(s) de recherche : CRI Saclay - Île-de-France
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Programmation, vérification et preuves

Suivez Inria tout au long de son 50e anniversaire et au-delà !