{rfName}
En

Indexed in

License and Use

Icono OpenAccess

Citations

1

Altmetrics

Scope

Internacional no UE Spain Uppsala (Suecia)

Impact on the Sustainable Development Goals (SDGs)

Analysis of institutional authors

Hermenegildo Salinas, Manuel DeAuthorLiqat, UmerAuthorKlemen, MaximilianoAuthor

Share

March 12, 2021
Conferences
>
Paper
Sí

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

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

Publicated to: 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). - ()

Authors:

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

Affiliations

University of Liverpool - Author

Keywords

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

Quality index