Descripción
|
|
---|---|
M. V. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation. 5th International Workshop on Verification and Program Transformation (VPT 2017), Vol. 253, pages 4?6, EPTCS, April 2017. (Abstract of invited talk). | |
Internacional
|
Si |
Nombre congreso
|
5th International Workshop on Verification and Program Transformation (VPT 2017) |
Tipo de participación
|
730 |
Lugar del congreso
|
Uppsala (Suecia) |
Revisores
|
Si |
ISBN o ISSN
|
2075-2180 |
DOI
|
10.4204/EPTCS.253 |
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
|
Proceedings of the 5th International Workshop on Verification and Program Transformation (VPT 2017), Vol. 253, pages 4?6, EPTCS, April 2017. (Abstract of invited talk). |