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 |
καταχωρήστε σχόλιο πρώτοι!