Galindo Losada, Julián, Grenoble Alps University, France

• Latin-American Journal of Computing Vol 3 No 2 (2016) - Research Articles for the Regular Issue
  A fresh recipe for designers: HCI approach to explore the nexus between design techniques and formal methods in software development
  Abstract  PDF