Descripción
|
|
---|---|
Co-chair of the 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2017) | |
Internacional
|
Si |
Fecha
|
07/08/2017 |
Lugar
|
Gothenburg, Sweden |
Tipo
|
Responsabilidades en congresos y reuniones técnicas internacionales |