K. Mehlhorn;M. Müller;S. Näher;S. Schirra;M. Seel;C. Uhrig;J. Ziegler
-;-;-;-;-;-;-
Survey: Certifying algorithms
Computer Science Review