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