A Hoare Logic for Energy Consumption Analysis

Rody W. J. Kersten*, P. Parisien Toldin, B.E. van Gastel, M.C.J.D. van Eekelen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationFoundational and Practical Aspects of Resource Analysis
Subtitle of host publicationThird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
EditorsUgo Dal Lago, Ricardo Peña
Place of PublicationCham
PublisherSpringer
Chapter6
Pages93-109
Number of pages17
ISBN (Electronic)9783319124667
ISBN (Print)9783319124650
DOIs
Publication statusPublished - 2014
EventThird International Workshop: FOPARA 2013 - Bertinoro, Italy
Duration: 29 Aug 201331 Aug 2013

Publication series

SeriesLecture Notes in Computer Science
Volume8552
ISSN0302-9743

Workshop

WorkshopThird International Workshop
CountryItaly
CityBertinoro
Period29/08/1331/08/13

Cite this