Cited By
View all- Ayub MKhan MJanjua M(2024)Sound analysis and migration of data from Ethereum smart contractsAutomated Software Engineering10.1007/s10515-024-00422-331:1Online publication date: 29-Feb-2024
- Henry TTucci-Piergiovanni S(2024)Secure Proof Verification Blockchain PatternsBusiness Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum10.1007/978-3-031-70445-1_5(71-88)Online publication date: 1-Sep-2024
- Goel SMazzara M(2024)Early Design Mechanism for Upgrading Smart Contract Business ProcessesComplex, Intelligent and Software Intensive Systems10.1007/978-3-031-70011-8_17(184-195)Online publication date: 6-Sep-2024