|
Descripción
|
|
|---|---|
| Revisor de artículos en la Conferencia 10th International Conference on integrated Formal Methods (iFM'13) Proceedings: http://link.springer.com/book/10.1007/978-3-642-38613-8 | |
|
Internacional
|
Si |
|
Fecha
|
|
|
Lugar
|
|
|
Tipo
|
Responsabilidades en congresos y reuniones técnicas internacionales |