Inicio de sesión de usuario
Distribuir
Se encuentra usted aquí
Sesión ordinaria del Seminario (4-12-2008)
Fecha / Date: 4-12-2008.
Hora / Time: 9:30 h.
Lugar / Location: Seminario de Lógica de la Facultad de Filosofía - Universidad de Sevilla.
Ponente / Lecturer: Fernando Soler Toscano.
Título / Tittle: Métodos formales para verificación de protocolos de seguridad.
Resumen / Abstract:
| Adjunto | Tamaño |
|---|---|
 Material complementario | 336.19 KB |
| Transparencias | 927.71 KB |
Tipo de actividad: