Cited By
View all- Garfatta IKlai KGraïet MGaaloul WHong JBures MPark JCerny T(2022)Model checking of vulnerabilities in smart contractsProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3507309(316-325)Online publication date: 25-Apr-2022
- Abyaneh AKirsch CGrundy J(2021)ASEProceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE51524.2021.9678584(203-214)Online publication date: 15-Nov-2021
- Semeráth OBabikian ALi AMarussy KVarró DSyriani ESahraoui H(2020)Automated generation of consistent models with structural and attribute constraintsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410962(187-199)Online publication date: 16-Oct-2020
- Show More Cited By