Search

Your search keyword '"MARTIN-MARTIN, ENRIQUE"' showing total 3 results
Start Over Author "MARTIN-MARTIN, ENRIQUE" Publication Year Range Last 3 years
3 results on '"MARTIN-MARTIN, ENRIQUE"'

1. Formally Verified EVM Block-Optimizations

Author

Albert, Elvira, Genaim, Samir, Kirchner, Daniel, Martin-Martin, Enrique, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Enea, Constantin, editor, and Lal, Akash, editor

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results