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