Crossmark

Deductive verification of smart contracts with Dafny

Crossref DOI link: https://doi.org/10.1007/s10009-024-00738-1

Published Online: 2024-02-20

Published Print: 2024-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Cassez, Franck https://orcid.org/0000-0002-4317-5025
Fuller, Joanne

Antón Quiles, Horacio Mijail https://orcid.org/0009-0009-7018-9711
License Information

Text and Data Mining valid from 2024-02-20

Version of Record valid from 2024-02-20
More Information

Article History

Accepted: 6 February 2024

First Online: 20 February 2024