Cited By
View all- Mustafa IMcGibney ARea S(2024)Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contractsFrontiers in Blockchain10.3389/fbloc.2023.12762336Online publication date: 8-Jan-2024
- Seneviratne O(2024)The Feasibility of a Smart Contract "Kill Switch"2024 6th International Conference on Blockchain Computing and Applications (BCCA)10.1109/BCCA62388.2024.10844477(473-480)Online publication date: 26-Nov-2024
- Alon YDavid CRoychoudhury ACadar CKim M(2022)Using graph neural networks for program terminationProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549095(910-921)Online publication date: 7-Nov-2022
- Show More Cited By