Rezultati

eNauka >  Rezultati >  Applying SMT Algorithms to Code Analysis
Naziv: Applying SMT Algorithms to Code Analysis
Autori: Filipović, Milorad; Sladić, Goran  ; Milosavljević, Branko  ; Milosavljević, Gordana  
Godina: 2016
Publikacija: Proccedings of the ICAIIT2016
Tip rezultata: Konferencijski rad
DOI: 10.20544/aiit2016.20
URI: https://enauka.gov.rs/handle/123456789/296282
Izvor metapodataka: Migrirano iz RIS podataka
Napomena: Verifikacija izvršena na osnovu nepotpunih podataka
Napomena o dostupnosti: На основу доступних података није могуће утврдити да ли резултат постоји
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.