|
Descripción
|
|
|---|---|
| Miembro del comité de pilotaje de the International Conference on Verification, Model Checking, and Abstract Interpretation | |
|
Internacional
|
Si |
|
Fecha
|
|
|
Lugar
|
|
|
Tipo
|
Responsabilidades en cómites internacionales |