Publication Overview

Ross M. McConnell and Kurt Mehlhorn and Stefan Näher and Pascal Schweitzer

Certifying algorithms

Published in: Computer Science Review
Year: 2011
Volume: 5
Pages: 119-161