Browsing by Author Malbaški D.
Showing results 3 to 3 of 3
< 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 |