{rfName}
En

Indexado en

Licencia y uso

Icono OpenAccess

Citaciones

1

Altmetrics

Ámbito

Internacional no UE Spain Uppsala (Suecia)

Impacto en los Objetivos de Desarrollo Sostenible (ODS)

Investigadores/as Institucionales

Hermenegildo Salinas, Manuel DeAutor o CoautorLiqat, UmerAutor o CoautorKlemen, MaximilianoAutor o Coautor

Compartir

12 de marzo de 2021
Trabajos presentados en Congresos u Otros Eventos
>
Ponencia
Sí

Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation

Presentado en: 5th International Workshop on Verification and Program Transformation (VPT 2017) (Uppsala (Suecia). . 2017) - (2017-04-29 / )

Publicado en: 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). - ()

Autores:

Alexei Lisitsa; Andrei P. Nemytykh; Maurizio Proietti
[+]

Afiliaciones

University of Liverpool - Autor o Coautor

Palabras clave

Strengthen the means of implementation and revitalize the global partnership for sustainable development goals

Indicios de calidad