Sveučilište u Zagrebu Prirodoslovno-matematički fakultet Matematički odsjek
Citirajte ovaj rad
Lešić, K. (2019). Formalna verifikacija softvera metodom provjere modela (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:217:098202
Lešić, Klara. "Formalna verifikacija softvera metodom provjere modela." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2019. https://urn.nsk.hr/urn:nbn:hr:217:098202
Lešić, Klara. "Formalna verifikacija softvera metodom provjere modela." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2019. https://urn.nsk.hr/urn:nbn:hr:217:098202
Lešić, K. (2019). 'Formalna verifikacija softvera metodom provjere modela', Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, citirano: 08.08.2024., https://urn.nsk.hr/urn:nbn:hr:217:098202
Lešić K. Formalna verifikacija softvera metodom provjere modela [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet; 2019 [pristupljeno 08.08.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:098202
K. Lešić, "Formalna verifikacija softvera metodom provjere modela", Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Zagreb, 2019. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:098202