Innovating Works
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

Palabras clave Extraídas de toda la información encontrada de este proyecto
#Modular Program Verification #Synthesis #Refinement Types