RYC-2010-07433
Financiado
Presupuesto del proyecto
192K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Computer Science Software Engineering Programming Languages
Computer Science Software Engineering Programming Languages
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#Programming Languages
#Types
#Verification
Lider