View of Métodos formales e Ingeniería de Software | Revista Virtual Universidad Católica del Norte