Rezultati
![](https://cdn3.iconfinder.com/data/icons/flat-actions-icons-9/512/Tick_Mark-256.png)
Naziv: | Automatsko generisanje i proveravanje uslova ispravnosti programa | Ostali nazivi: | Automated generation and checking of verification conditions | Autori: | Vujošević-Janičić, Milena ![]() ![]() |
Ostala autorstva: | Tošić, Dušan; Kunčuk, Viktor; Marić, Filip ![]() ![]() |
Godina: | 2013 | Publikacija: | Универзитет у Београду | Izdavač: | Универзитет у Београду, Математички факултет | Tip rezultata: | Doktorska disertacija | Kolacija: | 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 |
Projekat: | Automatsko rezonovanje i istraživanje podataka (RS-174021) | M-kategorija: | 70M70 - Odbranjena doktorska disertacija |