Items where Author is "Näher, Stefan"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

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

McConnell, Ross M. and Mehlhorn, Kurt and Näher, Stefan and Schweitzer, Pascal
(2011) Certifying algorithms.
Computer Science Review, 5 (2). 119–161.

This list was generated on Sat Apr 20 15:27:56 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.