Maliuginas, A., & Petrauskas, K. (2024). Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. Vilnius University Open Series, 98-105. https://doi.org/10.15388/LMITT.2024.14