Scivik: A versatile framework for specifying and verifying smart contracts

Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
September, 2021
PDF
Type
Book section
Publication
Memorial Volume for Shoucheng Zhang, World Scientific
Jianan Yao
Jianan Yao
Ph.D. Candidate in Computer Science

Not used.