Verified Resource Guarantees for Heap Manipulating Programs

Cached

Download Links

by Elvira Albert , Richard Bubel , Samir Genaim , Reiner Hähnle , Guillermo Román-díez