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
Description

Coalgebraic modeling and analysis for computational synthetic biology

Coalgebric modeling ad analysis for computational synthetic biologyProject DataSheet

Details

Details

  • Acronym

    KLEE
  • Start

    01st June 2018
  • Global Budget

    238.171,80 €
  • State

    Completed
  • Effective End

    30th November 2021
  • End

    30th November 2021
  • Responsible

    Luís Soares Barbosa
  • Financing

    179.532,73 €
  • Funded by

Team
001

Associated Centres

HASLab

Centre

High-Assurance Software