Innovating Works

EXCAVACIONES Y TRANSPORTES ORSA, S.L.

Activa
Mathador: Type and Proof Structures for Concurrent Software Verification IMDEA SOFTWARE INSTITUTE tramitó un H2020: ERC-2016-COG Verification of concurrent software is a notoriously difficult subject, whose complexities stem from the inability of the existing verificat...
2017-01-30 - 2023-03-31 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.