| Title | TLA+ specifikacijų išskyrimas iš Elixir programos |
|---|---|
| Authors | Bražėnas, Deividas ; Petrauskas, Karolis |
| DOI | 10.15388/LMITT.2023.1 |
| Full Text |
|
| Is Part of | Proceedings of the Conference "Lithuanian MSc Research in Informatics and ICT".. Vilnius : Vilniaus universiteto leidykla. 2023, p. 5-14 |
| Published | Vilnius : Vilniaus universiteto leidykla |
| Type | Conference paper |
| Language | Lithuanian |
| Publication date | 2023 |
| CC license |
|