Publication Overview

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

An Introduction to Certifying Algorithms

Published in: it - Information Technology
Year: 2011
Volume: 53
Pages: 287-293