Mariapia Raimondo, Simona Bernardi 0001, Stefano Marrone 0001, José Merseguer. An approach for the automatic verification of blockchain protocols: the Tweetchain case study. Journal in Computer Virology, 19(1):17-32, March 2023. [doi]
Abstract is missing.