DEDIČ, David, 2016, Spletno okolje za formalno verifikacijo z uporabo storitveno usmerjene arhitekture : magistrsko delo [online]. Master’s thesis. Maribor : D. Dedič. [Accessed 21 January 2025]. Retrieved from: https://dk.um.si/IzpisGradiva.php?lang=eng&id=64511