Actualidad
IMDEA Software
Talk by Vasilios Mavroudis: Cryptographic Hardware from Untrusted Components
28 Sep 2017
Leer más trending_flat
IMDEA Software
Talk by Danil Annenkov: Reasoning Techniques for the Module System Formalisation in Coq.
26 Sep 2017
Leer más trending_flat
IMDEA Software
Reasoning Techniques for the Module System Formalisation in Coq
26 Sep 2017
Leer más trending_flat

