APA (7th ed.) Citation

Bueso de Barrio, L. E., Fredlund, L., Herranz, Á., Mariño, J., & Benac Earle, C. (2025). Executable contracts for Elixir. Journal of logical and algebraic methods in programming, 142, 101019. https://doi.org/10.1016/j.jlamp.2024.101019

Chicago Style (17th ed.) Citation

Bueso de Barrio, Luis Eduardo, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, and Clara Benac Earle. "Executable Contracts for Elixir." Journal of Logical and Algebraic Methods in Programming 142 (2025): 101019. https://doi.org/10.1016/j.jlamp.2024.101019.

MLA (9th ed.) Citation

Bueso de Barrio, Luis Eduardo, et al. "Executable Contracts for Elixir." Journal of Logical and Algebraic Methods in Programming, vol. 142, 2025, p. 101019, https://doi.org/10.1016/j.jlamp.2024.101019.