Verified Resource Guarantees for Heap Manipulating Programs.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Guillermo Romn-Dez

Browse the full FASE paper archive.