Certifying algorithms

By R. McConnell, Kurt Mehlhorn, S. Näher, Pascal Schweitzer. 2011

213 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software