Certifying algorithms

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

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item