Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
Verified resource guarantees using COSTA and KeY
PEPM, 2011.
@inproceedings{PEPM-2011-AlbertBGHPR,
author = "Elvira Albert and Richard Bubel and Samir Genaim and Reiner Hähnle and Germán Puebla and Guillermo Román-Díez",
booktitle = "{Proceedings of the 16th Workshop on Partial Evaluation and Program Manipulation}",
doi = "10.1145/1929501.1929513",
isbn = "978-1-4503-0485-6",
pages = "73--76",
publisher = "{ACM}",
title = "{Verified resource guarantees using COSTA and KeY}",
year = 2011,
}