IJC2019-041599-I
Financiado
Modular Program Verification and Synthesis using Refinement Types
Línea de financiación: concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2019-01-01
Presupuesto
El presupuesto total del proyecto asciende a
93K€
Líder del proyecto
IMDEA SOFTWARE INSTITUTE
No se ha especificado una descripción o un objeto social para esta compañía.
Perfil tecnológico
TRL
4-5
650K
Perfil tecnológico
TRL
4-5
650K