Gradual Verification for Smart Contracts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sun, Haojia, Singh, Kunal, Ramos-Dávila, Jan-Paul, Aldrich, Jonathan, DiVincenzo, Jenna
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security Logic in Computer Science Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2311.13351