Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez. Verified resource guarantees using COSTA and KeY. In Siau-Cheng Khoo, Jeremy G. Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. pages 73-76, ACM, 2011. [doi]
Abstract is missing.