Bibliographic Details
| Title: |
Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications |
| Authors: |
Alfuhaid, Sofana |
| Source: |
2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2025 IEEE/ACM 47th International Conference on. :58-62 Apr, 2025 |
| Relation: |
2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) |
| Database: |
IEEE Xplore Digital Library |