RESEARCH THESIS AND DISERTATIONS IN
10.2298/NS20101213KUPUSINACKupusinac Aleksandare-mail : sasak@uns.ac.rs Analiza osobina dinamičkih postuslova u Horovim tripletima[Analyses of characteristics of dynamic postconditions in Hoare triplets]PhD thesisUniversity of Novi Sad, Faculty of Technical Science, Novi Sad, 2010BoardDušan Malbaški (Menthor), Miroslav Hajduković, Rade Doroslovački, Silvia Gilezan, Ivana BerkovićApproved13.12.2010.Language-scriptsrpski - latinicaLinksUniversity RepositoryCOBISSList of articles in Naši u WoSFull TextHow to cite this thesis?