Rad nije dostupan
diplomski rad
Formalna verifikacija sustava kao mrežna usluga

Miroslav Juratovac (2014)
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva