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