Larasaty, R., & Murwantara, I. M. (2026). SMT-Based Automated Verification for Financial Transaction Document Consistency. 2026 3rd International Conference on Technology Innovation and Its Applications (ICTIIA), Technology Innovation and Its Applications (ICTIIA), 2026 3rd International Conference on, 1. https://doi.org/10.1109/ICTIIA70925.2026.11717015
Παραπομπή σε μορφή Chicago (17η εκδ.)Larasaty, Raditha, και I Made Murwantara. "SMT-Based Automated Verification for Financial Transaction Document Consistency." 2026 3rd International Conference on Technology Innovation and Its Applications (ICTIIA), Technology Innovation and Its Applications (ICTIIA), 2026 3rd International Conference on 2026: 1. https://doi.org/10.1109/ICTIIA70925.2026.11717015.
Παραπομπή σε μορφή MLA (9th εκδ.)Larasaty, Raditha, και I Made Murwantara. "SMT-Based Automated Verification for Financial Transaction Document Consistency." 2026 3rd International Conference on Technology Innovation and Its Applications (ICTIIA), Technology Innovation and Its Applications (ICTIIA), 2026 3rd International Conference on, 2026, p. 1, https://doi.org/10.1109/ICTIIA70925.2026.11717015.