Options
Formally Verified EVM Block-Optimizations
Kirchner, Daniel; Genaim, Samir; Albert, Elvira; u. a. (2023): „Formally Verified EVM Block-Optimizations“. In: Cham: Springer Nature Switzerland S. 176–189, doi: 10.1007/978-3-031-37709-9_9.
Faculty/Professorship:
Title of the compilation:
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III
Editors:
Enea, Constantin
Lal, Akash
Conference:
35th International Conference, CAV 2023, July 17–22, 2023 ; Paris, France
Publisher Information:
Year of publication:
2023
Pages:
ISBN:
978-3-031-37709-9
Series:
Lecture Notes in Computer Science ; 13966
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
published:
July 31, 2023
Permalink
https://fis.uni-bamberg.de/handle/uniba/89789