Actualidad
IMDEA Software
IMDEA Software faculty invited speaker at Data Protection event in Switzerland
27 Jun 2017
Leer más trending_flat
IMDEA Software
Verified Translation Validation of Static Analyses
27 Jun 2017
Leer más trending_flat
IMDEA Software
IMDEA Software faculty invited speaker at Data Protection event in Switzerland
27 Jun 2017
Leer más trending_flat
IMDEA Software
Talk by Christian Hammer: WebPol: Fine-grained Information Flow Policies for Web Browsers
26 Jun 2017
Leer más trending_flat
IMDEA Software
WebPol: Fine-grained Information Flow Policies for Web Browsers
26 Jun 2017
Leer más trending_flat
IMDEA Software
Talk by Grigory Fedyukovich: Synchronizing Constraint Horn Clauses
23 Jun 2017
Leer más trending_flat

