Automatic Inference of Bounds on Resource Consumption.
Elvira AlbertDiego Esteban Alonso-BlasPuri ArenasJesús CorreasAntonio Flores-MontoyaSamir GenaimMiguel Gómez-ZamalloaAbu Naser MasudGerman PueblaJosé Miguel RojasGuillermo Román-DíezDamiano ZanardiniPublished in: FMCO (2012)