Conference
Partial Automation of Verification Condition Proving for Reflex Programs
| Τίτλος: | Partial Automation of Verification Condition Proving for Reflex Programs |
|---|---|
| Συγγραφείς: | Ishchenko, Artyom, Anureev, Igor |
| Πηγή: | 2026 IEEE 27th International Conference of Young Professionals in Electron Devices and Materials (EDM) Young Professionals in Electron Devices and Materials (EDM), 2026 IEEE 27th International Conference of. :1-6 Jun, 2026 |
| Relation: | 2026 IEEE 27th International Conference of Young Professionals in Electron Devices and Materials (EDM) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!