Home > Articles > An approach for the automatic verification of blockchain protocols: the Tweetchain case study > BibTeX |
@article{Raimondo:120921, author = "Raimondo, M. and Bernardi, S. and Marrone, S. and Merseguer, J.", title = "{An approach for the automatic verification of blockchain protocols: the Tweetchain case study}", year = "2023", }