SciviK: A Versatile Framework for Specifying and Verifying Smart
Contracts

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts

3 March 2021

ArXiv (abs)PDF HTML

Papers citing "SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts"

Title
No papers