GRIP
Financiado
Presupuesto del proyecto
231K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Software Testing Artificial Intelligence
Software Testing Artificial Intelligence
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#imperative programs
#concurrency
#pointers
#reasoning techniques
#formalisation
#semantic foundations
#mathematical models
#algebraic laws
Lider