Резултати
| Назив: | Applying SMT Algorithms to Code Analysis | Аутори: | Filipović, Milorad; Sladić, Goran   ; Milosavljević, Branko ; Milosavljević, Gordana |
Година: | 2016 | Публикација: | Proccedings of the ICAIIT2016 | Тип резултата: | Конференцијски рад | DOI: | 10.20544/aiit2016.20 | URI: | https://enauka.gov.rs/handle/123456789/296282 | Извор метаподатака: | Migrirano iz RIS podataka | Напомена: | Verifikacija izvršena na osnovu nepotpunih podataka | Напомена о доступности: | На основу доступних података није могуће утврдити да ли резултат постоји | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.