Tesis doctoral

  1. Análisis estático de sistemas concurrentes y distribuidosobjetos concurrentes y bytecode de Ethereum 2020

    Universidad Complutense de Madrid