Crossmark

An approach for the automatic verification of blockchain protocols: the Tweetchain case study

Published Online: 2022-08-25

Authors

Raimondo, Mariapia

Bernardi, Simona

Marrone, Stefano http://orcid.org/0000-0003-1927-6173
Merseguer, José
Funding

Funding for this research was provided by:

INPS

Ministerio de Ciencia, Innovación y Universidades (PID2020-113969RB-I00, PID2020-113969RB-I00)
License Information

Text and Data Mining valid from 2022-08-25

Version of Record valid from 2022-08-25
More Information

Article History

Received: 14 November 2021

Accepted: 4 June 2022

First Online: 25 August 2022

Document is current