TY  - RPRT
TI  - SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
AU  - Shaokai Lin
AU  - Xinyuan Sun
AU  - Jianan Yao
AU  - Ronghui Gu
PY  - 2021
UR  - https://arxiv.org/abs/2103.02209
ID  - 2103.02209
ER  -