Cited By
View all- Antonino PFerreira JSampaio ARoscoe AArruda F(2024)A refinement-based approach to safe smart contract deployment and evolutionSoftware and Systems Modeling10.1007/s10270-023-01143-z23:3(657-693)Online publication date: 25-Jan-2024
- Tamani NEl-Jaouhari S(2022)Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges2022 6th Cyber Security in Networking Conference (CSNet)10.1109/CSNet56116.2022.9955604(1-6)Online publication date: 24-Oct-2022
- Galimullin RÅgotnes T(2022)Coalition Logic for Specification and Verification of Smart Contract UpgradesPRIMA 2022: Principles and Practice of Multi-Agent Systems10.1007/978-3-031-21203-1_34(563-572)Online publication date: 12-Nov-2022
- Show More Cited By