Publication Overview

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

Verification of Certifying Computations

Published in: Proc. 23rd International Conference on Computer Aided Verification (CAV 2011)
Year: 2011
Pages: 67-82