A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development. LAJC [Internet]. 2016 Dec. 9 [cited 2025 Oct. 8];3(2):10. Available from: https://lajc.epn.edu.ec/index.php/LAJC/article/view/111