Publication Overview

Eyad Alkassar and Sascha Böhme and Kurt Mehlhorn and Christine Rizkallah

A Framework for the Verification of Certifying Computations

Published in: CoRR
Year: 2013