eNauka - pregled
Pregled prema Autor Roychoudhury, Abhik
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification | Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Program Repair Guided by Datalog-Defined Static Analysis | Liu, Yu; Mechtaev, Sergey; Subotic, Pavle; Roychoudhury, Abhik | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |