Skip to content.
|
Skip to navigation
Site Map
Accessibility
Contact
Search Site
Advanced Search…
Portal SIC
Sections
Home
Personal
Research
Personal tools
Log in
You are here:
Home
→
Research
→
Seminario DSIC
→
Curso 2009-10
→
Conferencias
→
Abstract Interpretation and Code Protection
Send this page to somebody
Fill in the email address of your friend to send an email with the address.
Address info
Send to
(Required)
The e-mail address to send this link to.
From
(Required)
Your email address.
Comment
A comment about this link.
Navigation
Home
Personal
Research
Research groups
Publicaciones
Seminario DSIC
Presentación
Planificación
Conferencias
Transparencias
Curso 2009-10
Conferencias
Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs
Abstract Interpretation and Code Protection
Automated Certification of Code-Based Cryptographic Proofs
Presentación del Grupo de Informática Gráfica
Análisis de Sistemas con Procesos Estocásticos
Semánticas de Procesos y Modelos de la Concurrencia
Grupo de Programación Declarativa: Actividades presentes
Grupo de Análisis Estático y Certificación de Propiedades
Featherweight X10: a Core Calculus for Async-Finish Parallelism
Grupo de Investigación en Testing y Evaluación del Rendimiento
Organización del Departamento
Url Oficial del Departamento
Login
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…
«
March 2023
»
Su
Mo
Tu
We
Th
Fr
Sa
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Powered by Plone CMS, the Open Source Content Management System
This site conforms to the following standards:
Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser
Reclamación sobre pagas extras del PDI