“A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development”, LAJC, vol. 3, no. 2, p. 10, Dec. 2016, Accessed: Oct. 08, 2025. [Online]. Available: https://lajc.epn.edu.ec/index.php/LAJC/article/view/111