Резултати
| Назив: | DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY | Аутори: | Berković Ivana   ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor |
Година: | 2009 | Публикација: | The International Conference on Information Technology (ICIT 2009), The International Conference on Information Technology (ICIT 2009), 2009 | Издавач: | Jordan, Amman: AL-Zaytoonah University | Тип резултата: | Конференцијски рад | Колација: | vol. 4 br. 1 str. 1-11 | URI: | https://www.cris.uns.ac.rs/record.jsf?recordId=66693&source=eNauka&language=en https://enauka.gov.rs/handle/123456789/586068 |
URL: | http://icit.zuj.edu.jo/icit09/index.html http://icit.zuj.edu.jo/icit09/PaperList/Papers/Software%20Engineering/508.pdf |
М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.