Bražėnas D, Petrauskas K. TLA+ specifikacijų išskyrimas iš Elixir programos. open-series [Internet]. 2023 May 11 [cited 2025 Oct. 27];:5-14. Available from: https://test.zurnalai.vu.lt/open-series/article/view/32213