Innovating Works

CORCON

Financiado
Presupuesto del proyecto 286K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Software
Software Testing Artificial Intelligence Cybersecurity Data Analytics

Palabras clave Extraídas de toda la información encontrada de este proyecto
#correctness by construction #program verification #logical proofs #software correctness #programming languages