Истраживачи

Резултати 281-282 од 282
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2007Resolution Methods in Proving the Program CorrectnessMarkoski, Branko  ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, DaniloНаучни чланак
Мп категорија ће бити приказана накнадно.
2002Program testing based on programming logic rulesMarkoski, Branko  ; Hotomski, Petar ; Malbaški, Dušan Конференцијски рад
Мп категорија ће бити приказана накнадно.