Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Noschinski, L., Rizkallah, C., & Mehlhorn, K. (2014). Verification of Certifying Computations through AutoCorres and Simpl. In J. M. Badger, & K. Y. Rozier (Eds.), NASA Formal Methods (pp. 46-61). Berlin: Springer. doi:10.1007/978-3-319-06200-6_4.
