Repositorio Institucional de Documentos

@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",
}