J. Alberto Verdejo López
Author's home page in this site…
Latest content created by this user
| Page | |
|---|---|
| Planificación | 2010-01-25 |
| Presentación | 2010-01-25 |
| Event | |
| Conferencia: Pruebas Formales de Criptografia Usando Secuencias de Juegos | 2007-11-09 |
| File | |
| SIC-4-11 | 2011-10-18 |
| SIC-11-12 | 2012-07-24 |
| SIC-9-12 | 2012-07-06 |
| SIC-7-12 | 2012-07-06 |
| SIC-8-12 | 2012-06-05 |
| Folder | |
| Seminario DSIC | 2010-01-25 |
| Conferencias | 2010-01-25 |
| 15-4-2008 | 2008-04-14 |
| Link | |
| Grupo de Testing y Evaluación del Rendimiento | 2007-03-26 |
| Grupo de Informática Gráfica | 2007-03-26 |
| GPD: Grupo de Programación Declarativa | 2007-03-26 |
| FADOSS: Diseño y Análisis Formal de Sistemas de Software | 2007-03-26 |
| Publicación | |
| Distributed Applications Implemented in Maude with Parameterized Skeletons | 2007-10-19 |
Reclamación sobre pagas extras del PDI