Bueso de Barrio, L. E., Fredlund, L., Herranz, Á., Benac-Earle, C., & Mariño, J. (2026). Makina: A QuickCheck state machine library. Journal of logical and algebraic methods in programming, 148, 101096. https://doi.org/10.1016/j.jlamp.2025.101096
Citace podle Chicago (17th ed.)Bueso de Barrio, Luis Eduardo, Lars-Åke Fredlund, Ángel Herranz, Clara Benac-Earle, a Julio Mariño. "Makina: A QuickCheck State Machine Library." Journal of Logical and Algebraic Methods in Programming 148 (2026): 101096. https://doi.org/10.1016/j.jlamp.2025.101096.
Citace podle MLA (9th ed.)Bueso de Barrio, Luis Eduardo, et al. "Makina: A QuickCheck State Machine Library." Journal of Logical and Algebraic Methods in Programming, vol. 148, 2026, p. 101096, https://doi.org/10.1016/j.jlamp.2025.101096.