El investigador del Instituto IMDEA Software Manuel Hermenegildo ha dado una charla invitada el 29 de abril sobre Análisis y Verificación del Consumo de Energía en el Quinto Taller Internacional sobre Verificación y Transformación de Programas, VPT 2017, en Uppsala, Suecia, como parte de la vigésima edición de los “Congresos Conjuntos sobre la Teoría y Práctica del Software,” ETAPS 2017.
