APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Maliuginas, Andrius, and Karolis Petrauskas. "Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine." Vilnius University Open Series 2024: 98. https://doi.org/10.15388/LMITT.2024.14.

MLA (9th ed.) Citation

Maliuginas, Andrius, and Karolis Petrauskas. "Extracting TLA+ Specifications Out of a Program for a BEAM Virtual Machine." Vilnius University Open Series, 2024, p. 98, https://doi.org/10.15388/LMITT.2024.14.