Maliuginas A, Petrauskas K. Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine. open-series [Internet]. 2024 May 13 [cited 2024 Aug. 17];:98-105. Available from: https://www.zurnalai.vu.lt/open-series/article/view/35369