Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Details

Details

  • Acronym

    KLEE
  • Start

    01st June 2018
  • Global Budget

    238.171,80 €
  • Funded by

Team
001

Associated Centres

HASLab

Centre

High-Assurance Software