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