Innovating Works
DIAPASoN: Differential Program Semantics BDF BIOTECH participó en un H2020: ERC-2018-COG Traditionally, program semantics is centered around the notion of program identity, that is to say of program equivalence: a program is iden...
2019-01-29 - 2024-02-29 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.