Applying SMT Algorithms to Code Analysis

Results

Title:	Applying SMT Algorithms to Code Analysis
Authors:	Filipović, Milorad; Sladić, Goran ; Milosavljević, Branko ; Milosavljević, Gordana
Issue Date:	2016
Publication:	Proccedings of the ICAIIT2016
Type:	Conference Paper
DOI:	10.20544/aiit2016.20
URI:	https://enauka.gov.rs/handle/123456789/296282
Metadata source:	Migrirano iz RIS podataka
Note:	Verifikacija izvršena na osnovu nepotpunih podataka
Availability note:	На основу доступних података није могуће утврдити да ли резултат постоји
M-category:	Mp. category will be shown later

Altmetric

Dimensions

Unpaywall

Google Scholar^TM