Galindo Losada, J. (2016) “A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development”, Latin-American Journal of Computing, 3(2), p. 10. Available at: https://lajc.epn.edu.ec/index.php/LAJC/article/view/111 (Accessed: 8May2024).