Innovating Works

RYC-2010-07433

Financiado
Programming Languages and Types for Verification
01/01/2010
IMDEA SOFTWARE INS...
192K€
Presupuesto del proyecto: 192K€
ver más

Líder del proyecto
IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5 | 650K€
Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-01-01
0% 100%