Alfuhaid, S. (2025). Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications. 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Software Engineering: Companion Proceedings (ICSE-Companion), 2025 IEEE/ACM 47th International Conference on, ICSE-COMPANION, 58. https://doi.org/10.1109/ICSE-Companion66252.2025.00024
Παραπομπή σε μορφή Chicago (17η εκδ.)Alfuhaid, Sofana. "Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications." 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Software Engineering: Companion Proceedings (ICSE-Companion), 2025 IEEE/ACM 47th International Conference on, ICSE-COMPANION 2025: 58. https://doi.org/10.1109/ICSE-Companion66252.2025.00024.
Παραπομπή σε μορφή MLA (9th εκδ.)Alfuhaid, Sofana. "Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications." 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Software Engineering: Companion Proceedings (ICSE-Companion), 2025 IEEE/ACM 47th International Conference on, ICSE-COMPANION, 2025, p. 58, https://doi.org/10.1109/ICSE-Companion66252.2025.00024.