Publisher
Springer Nature Switzerland
Reference41 articles.
1. Afonso, J.: Mechanisms for modeling and validation of smart contracts. Master’s thesis, Departamento de Informática, NOVA School of Science and Technology (2023). Advisor: António Ravara
2. Afonso, J., Konjoh Selabi, E., Murgia, M., Tuosto, E., Ravara, A.: Artefact submission for paper #8 of COORDINATION 2024 (2024). https://doi.org/10.5281/zenodo.10996456
3. Lecture Notes in Computer Science;F Barbanera,2020
4. Basile, D., ter Beek, M.: Contract automata library. Sci. Comput. Program. 221, 102841 (2022). https://doi.org/10.1016/J.SCICO.2022.102841
5. Lecture Notes in Computer Science;D Basile,2016