Artifact of the Paper "Formally Verified EVM Block-Optimizations"
Albert, Elvira; Genaim, Samir; Kirchner, Daniel; u. a. (2023): Artifact of the Paper „Formally Verified EVM Block-Optimizations“, Zenodo, doi: 10.5281/zenodo.7858277.
Faculty/Chair:
Author:
 ;  ;  ; 
Publisher Information:
Year of publication:
2023
Issue:
Published April 24, 2023
Language:
English
DOI:
Type:
Verschiedenartige Texte
URI:
Activation date:
September 8, 2025

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/110285