University of Zagreb Faculty of Electrical Engineering and Computing
Cite this document
Futivić, I. (2024). Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:404428
Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428
Futivić, Ivan. "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:404428
Futivić, I. (2024). 'Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 23 October 2024, https://urn.nsk.hr/urn:nbn:hr:168:404428
Futivić I. Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2024 [cited 2024 October 23] Available at: https://urn.nsk.hr/urn:nbn:hr:168:404428
I. Futivić, "Formalna verifikacija post-kvantnog protokola pomoću alata Tamarin", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2024. Available at: https://urn.nsk.hr/urn:nbn:hr:168:404428