Publications



Прецизирано по:
Тема:  specification

Резултати 1-1 од 1 (Време претраге: 0.001 секунди).

Датум издавањаНасловАутор(и)
12011Use of symbolic program execution in program testingMarkoski, Branko ; Ivankovic, Zdravko; Radosav, Dragica ; Milošević, Zoran ; Obradović, Borislav