| Name: | An AI Assisted Tool for Correcting Software Faults Using Hoare Logic |
| Owner: | Isavella Christodoulou |
| Used disk space: | 707.99 KiB |
| Created: | 2024-06-21 12:04:02 |
| Categories: | ΑΔΕ |
| Επιβλέπων Καθηγητής/τρια: | Φιλίππου Άννα |
| Συγγραφέας: | Georgios Evangelou |
| Τίτλος: | An AI Assisted Tool for Correcting Software Faults Using Hoare Logic |
| Χρονιά: | 2024 |
| File | Comment | Status | ||
|---|---|---|---|---|
 |
|
Released |
No attached files
No linked files