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
Chicago-Zitierstil (17. Ausg.)Bueso de Barrio, Luis Eduardo, Lars-Åke Fredlund, Ángel Herranz, Clara Benac-Earle, und 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.
MLA-Zitierstil (9. Ausg.)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.