diplomski rad
Formalna verifikacija softvera metodom provjere modela

Lešić, Klara
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). 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: 29.10.2020., 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 29.10.2020.] 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

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.