Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2103.02209
Cited By
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
3 March 2021
Shaokai Lin
Xinyuan Sun
Jianan Yao
Ronghui Gu
Re-assign community
ArXiv
PDF
HTML
Papers citing
"SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts"
1 / 1 papers shown
Title
An analysis of Uniswap markets
Guillermo Angeris
Hsien-Tang Kao
Rei Chiang
C. Noyes
Tarun Chitra
101
191
0
08 Nov 2019
1
