Survey: Certifying Algorithms

McConnell, Ross M and Mehlhorn, Kurt and Näher, Stefan and Schweitzer, Pascal
(2011) Survey: Certifying Algorithms.
Computer Science Review, 5 (2). pp. 119-161. ISSN 1574-0137

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item