Volver a los detalles del artículo Una guía general para la especificación y verificación formal de requerimientos usando Event-B™ y Rodin™ Descargar Descargar PDF