Verified resource guarantees using COSTA and KeY.

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

Browse the full PEPM paper archive.