Automatic Inference of Bounds on Resource Consumption | Publicación