Crossmark

A refinement-based approach to safe smart contract deployment and evolution

Published Online: 2024-01-25

Published Print: 2024-06

Authors

Antonino, Pedro

Ferreira, Juliandson

Sampaio, Augusto

Roscoe, A. W.

Arruda, Filipe
License Information

Text and Data Mining valid from 2024-01-25

Version of Record valid from 2024-01-25
More Information

Article History

Received: 28 February 2023

Revised: 10 October 2023

Accepted: 11 December 2023

First Online: 25 January 2024

Document is current