Actualidad
IMDEA Software
Liquid Haskell: Usable Language-Based Program Verification
02 Apr 2018
Leer más trending_flat
IMDEA Software
Talk by Jean Paul Degabriele: The Synergy Between Theory and Practice in Cryptography
23 Mar 2018
Leer más trending_flat
IMDEA Software
The Synergy Between Theory and Practice in Cryptography
23 Mar 2018
Leer más trending_flat

