Ponencia 2

Tools for Automated Verification of Concurrent Software

Tools for Automated Verification of Concurrent Software

Mini-cuento A

Mini-cuento A

Mini-cuento B La Criada Heroina

Mini-cuento B La Criada Heroina

Pinteresante

Pinteresante

One Duck Stuck

One Duck Stuck

Alaska Railway

Alaska Railway

Program Refactoring

Program Refactoring

2014-02-09-SofiaQuin..

2014-02-09-SofiaQuin..

Diapositiva 1

Diapositiva 1