|
Descripción
|
|
|---|---|
| VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. | |
|
Internacional
|
No |
|
Fecha
|
20/01/2013 |
|
Lugar
|
Roma, Italia |
|
Tipo
|
Responsabilidades en congresos y reuniones técnicas internacionales |