TY  - RPRT
TI  - A Framework for the Verification of Certifying Computations
AU  - Eyad Alkassar
AU  - Sascha Böhme
AU  - Kurt Mehlhorn
AU  - Christine Rizkallah
PY  - 2013
UR  - https://arxiv.org/abs/1301.7462
ID  - 1301.7462
ER  -