Memorias de investigación
Communications at congresses:
Energy Consumption Analysis and Verification
Year:2017

Research Areas
  • Engineering

Information
Abstract
Invited talk at the Fifth International Workshop on Verification and Program Transformation, VPT 2017.
International
Si
Congress
Fifth International Workshop on Verification and Program Transformation, VPT 2017.
730
Place
Uppsala, Sweden
Reviewers
No
ISBN/ISSN
2075-2180
10.4204/EPTCS.253.2
Start Date
29/04/2017
End Date
29/04/2017
From page
4
To page
6
Electronic Proceedings in Theoretical Computer Science 253 Proceedings Fifth International Workshop on Verification and Program Transformation
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial