3
Publications
38
Citations
3
H-Index
2007
Active since
Affiliations
Nebojša Ikodinović is an author at University of Belgrade specializing in formal methods, automated reasoning, and engineering.
Publications per year
2007–2014
3
3
Angelina Ilić Stepić, Zoran Ognjanović, Nebojša Ikodinović et al. · Mathematical logic quarterly · 2012 · 14 citations
Rows per page
1–3 of 3