Actualidad
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/logo-fractal-imdea-energia.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/logo-fractal-imdea-nanociencia.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/logo-fractal-imdea-networks.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Talk by John Hughes: Testing Smart Contracts on the Cardano Blockchain with QuickCheck
15 mar 2022
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Testing Smart Contracts on the Cardano Blockchain with QuickCheck
15 mar 2022
Leer más trending_flat![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-initiative.jpg)
![](https://www.imdea.org/wp-content/themes/imdea/img/fractals/fractal-imdea-software.jpg)
IMDEA Software
Talk by Yueqi Chen: Securing Operating System Kernels with Fewer Shots
10 mar 2022
Leer más trending_flat