chapter

Scivik: A versatile framework for specifying and verifying smart contracts
Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
PDF