Резултати
| Назив: | Automatsko generisanje i proveravanje uslova ispravnosti programa | Остали називи: | Automated generation and checking of verification conditions | Аутори: | Vujošević-Janičić, Milena   |
Остала ауторства: | Tošić, Dušan; Kunčuk, Viktor; Marić, Filip |
Година: | 2013 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Математички факултет | Тип резултата: | Докторска дисертација | Колација: | str. xiii, 145 str. | DOI: | 10.2298/bg20131217vujosevicjanicic | URI: | https://nardus.mpn.gov.rs/handle/123456789/1179 http://eteze.bg.ac.rs/application/showtheses?thesesId=913 http://vbs.rs/scripts/cobiss?command=SEARCH&base=99999&select=ID=44846863 https://fedorabg.bg.ac.rs/fedora/get/o:7433/bdef:Content/get http://dx.doi.org/10.2298/BG20131217VUJOSEVICJANICIC https://enauka.gov.rs/handle/123456789/195358 |
Пројекат: | Automatsko rezonovanje i istraživanje podataka (RS-174021) | М-категорија: | 70M70 - Одбрањена докторска дисертација |
