Actualidad
IMDEA Software
On Algebraic Abstractions for Concurrent Separation Logics, has been accepted at POPL 2021
30 Nov 2020
Leer más trending_flat
IMDEA Materiales
ITP Aero and IMDEA Materials develop a pioneer R&D program to simulate 3D manufacturing processes
27 Nov 2020
Leer más trending_flat

