vix.ing · top · new · best · stats · spec

Ghale, Milad K.

  1. Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny
    2023/03/01 by Cassez, Franck, Fuller, Joanne, Ghale, Milad K. +2 · 3 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)