еНаука - преглед
Преглед према Аутор Roychoudhury, Abhik
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification | Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |
| 2023 | Program Repair Guided by Datalog-Defined Static Analysis | Liu, Yu; Mechtaev, Sergey; Subotic, Pavle; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |