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