This Organisation is not specific to Greece. For more details, please visit OpenAIRE Explore.
Powered by OpenAIRE Graph Last update of records in OpenAIRE: Aug 12, 2026
Found an issue? Give us feedback
corporate_fareOrganisation

TrustInSoft

Location
location_onFrance

Projects(1)

  • assignment_turned_inProject

    Verified OCaml Library (VOCAL)

    From Oct 2015
    French National Research Agency (ANR)Funder contribution: €534,474.00 Grant: ANR-15-CE25-0008

Data sources

Recent Publications

Recent Research data

Recent Research software

Recent Other research products

Parent Organisations

N/A

Child Organisations

N/A

Versions (1)

  • corporate_fareOrganisation

    TrustInSoft