ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
![Foto de ENRIQUE](/img/nophoto.png)
![Foto de University of Bamberg](/img/noimage_org.png)
University of Bamberg
Bamberg, AlemaniaPublicacions en col·laboració amb investigadors/es de University of Bamberg (1)
2023
-
Formally Verified EVM Block-Optimizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)