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 |