Browsing by Author Obradović, D
Showing results 5 to 5 of 5
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jan-2007 | Resolution methods in proving the program correctness | Markoski, Branko ; Hotomski P.; Malbaški D.; Obradović, D |