Sites Inria

Version française

PROVAL Research team

Proof of Programs

  • Leader : Claude Marche
  • Research center(s) : CRI Saclay - Île-de-France
  • Field : Algorithmics, Programming, Software and Architecture
  • Theme : Programs, Verification and Proofs