Social Good and Formal Verification – CONFORMATION
Project coordination
Laurent Perrussel (Institut de Recherche en Informatique de Toulouse)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
Partner
IRIT Institut de Recherche en Informatique de Toulouse
Help of the ANR 34,350 euros
Beginning and duration of the scientific project:
- 24 Months