Skip to content
cs-conference-ranking.org

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract.

Daejun Park, Yi Zhang, Grigore Rosu

VenueA*CAV
Year2020
ProceedingsCAV (1)
DBLP recordconf/cav/0001ZR20 ↗

Browse the full CAV paper archive.