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