Old Web
English
Sign In
Acemap
>
Paper
>
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.
2022
David L. Dill
Wolfgang Grieskamp
Junkil Park
Shaz Qadeer
Meng Xu
Jingyi Emma Zhong
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]