Daukševič, Daniel. 2023. „Adaptyvių Kompiuterinių Sistemų Formalus Modeliavimas Ir Verifikavimas Taikant Statistinį Modelių Patikrinimo Metodą“. Vilnius University Open Series, gegužės, 15-25. https://doi.org/10.15388/LMITT.2023.2.