Conference
SMT-Based Automated Verification for Financial Transaction Document Consistency
| Τίτλος: | SMT-Based Automated Verification for Financial Transaction Document Consistency |
|---|---|
| Συγγραφείς: | Larasaty, Raditha, Murwantara, I Made |
| Πηγή: | 2026 3rd International Conference on Technology Innovation and Its Applications (ICTIIA) Technology Innovation and Its Applications (ICTIIA), 2026 3rd International Conference on. :1-6 Sep, 2026 |
| Relation: | 2026 3rd International Conference on Technology Innovation and Its Applications (ICTIIA) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798319546449 9798319546456 |
|---|---|
| DOI: | 10.1109/ICTIIA70925.2026.11717015 |