Livaja, P. (2020). Hoareova logika (Diplomski rad). Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:166:264314
Livaja, Petra. "Hoareova logika." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:264314
Livaja, Petra. "Hoareova logika." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:264314
Livaja, P. (2020). 'Hoareova logika', Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, citirano: 08.11.2024., https://urn.nsk.hr/urn:nbn:hr:166:264314
Livaja P. Hoareova logika [Diplomski rad]. Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet; 2020 [pristupljeno 08.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:264314
P. Livaja, "Hoareova logika", Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, Split, 2020. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:264314