Sistemas Informáticos y Computación
Saila
University of Bamberg
Bamberg, AlemaniaUniversity of Bamberg-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2023
-
Formally Verified EVM Block-Optimizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)