DIAPASoN
Financiado
Duración del proyecto: 61 meses
Fecha Inicio: 2019-01-29
Fecha Fin: 2024-02-29
Finalizado
Fecha Fin: 2024-02-29
Finalizado
Presupuesto del proyecto
960K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Web Development Software Testing
Web Development Software Testing
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#program semantics
#program identity
#program equivalence
#interactive computation
#higher-order programs
#concurrent programs
#programming language design
#verification methodologies
Lider
409.45K€ |
Participante