TACAS presentations on PDR for Software and CPU Energy Meter are available.

Index of {header_title}

Selection by year

Selection by category

Selection by author

Selection by research interest

Selection by funding

Complete bibliography