@inproceedings{Alkassar-CAV2011,
AUTHOR = {Alkassar, E. and Böhme, S. and Mehlhorn, K. and Rizkallah, C.},
TITLE = {Verification of Certifying Computations},
YEAR = {2011},
BOOKTITLE = {Conference on Computer Aided Verification (CAV 2011)},
PUBLISHER = {LNCS},
}