Verified Resource Guarantees for Heap Manipulating Programs | Publicación