Results
| Title: | Automatsko generisanje i proveravanje uslova ispravnosti programa | Other Titles: | Automated generation and checking of verification conditions | Authors: | Vujošević-Janičić, Milena   |
Other contributors: | Tošić, Dušan; Kunčuk, Viktor; Marić, Filip |
Issue Date: | 2013 | Publication: | Универзитет у Београду | Publisher: | Универзитет у Београду, Математички факултет | Type: | Doctoral theses | Collation: | 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 |
Project: | Automatsko rezonovanje i istraživanje podataka (RS-174021) | M-category: | 70M70 |
