IJC2019-041599-I
Financiado
Presupuesto del proyecto
93K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Software Testing Machine Learning Artificial Intelligence
Software Testing Machine Learning Artificial Intelligence
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#Modular Program Verification
#Synthesis
#Refinement Types
Lider