|
Descripción
|
|
|---|---|
| Invited talk at the Fifth International Workshop on Verification and Program Transformation, VPT 2017. | |
|
Internacional
|
Si |
|
Nombre congreso
|
Fifth International Workshop on Verification and Program Transformation, VPT 2017. |
|
Tipo de participación
|
730 |
|
Lugar del congreso
|
Uppsala, Sweden |
|
Revisores
|
No |
|
ISBN o ISSN
|
2075-2180 |
|
DOI
|
10.4204/EPTCS.253.2 |
|
Fecha inicio congreso
|
29/04/2017 |
|
Fecha fin congreso
|
29/04/2017 |
|
Desde la página
|
4 |
|
Hasta la página
|
6 |
|
Título de las actas
|
Electronic Proceedings in Theoretical Computer Science 253 Proceedings Fifth International Workshop on Verification and Program Transformation |