Skip to content. | Skip to navigation

Portal SIC

Sections

Personal tools

Log in

You are here: Home → Research → Seminario DSIC → Curso 2009-10 → Conferencias → Grupo de Análisis Estático y Certificación de Propiedades

Document Actions

Grupo de Análisis Estático y Certificación de Propiedades

by yolanda — last modified 2010-01-25 14:04

Ponente: Ricardo Peña Fecha: 2-2-2010

Click here to get the file

Size 168.4 kB - File type application/pdf

News: Reclamación sobre pagas extras del PDI 2008-10-30; RSME'09 propuesta de sesión especial 2008-06-18; CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08 2008-04-09; More news…

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: