Publication Overview

Eyad Alkassar and Sascha B

A Framework for the Verification of Certifying Computations

Published in: J. Autom. Reasoning
Year: 2014
Volume: 52
Pages: 241-273