Verifikácia digitálnych systémov pomocou webových technológií - Lihan, Kamil (2022)