Title:Formal methods in context [Los métodos formales en contexto] / CISCI 2014 - Decima Tercera Conferencia Iberoamericana en Sistemas, Cibernetica e Informatica, Undecimo Simposium Iberoamericano en Educacion, Cibernetica e Informatica, SIECI 2014 - Memorias