Invited talk at the 2nd Microsoft Research – IMDEA Software Institute Collaborative Workshop (MICW 2015), Madrid. 10 April 2015. Pedro Lopez-Garcia. Energy Consumption Verification via Static Analysis.
Invited talk at the 2nd Microsoft Research – IMDEA Software Institute Collaborative Workshop (MICW 2015), Madrid. 10 April 2015. Pedro Lopez-Garcia. Energy Consumption Verification via Static Analysis.