A Framework for the Verification of Certifying Computations

Alkassar, Eyad and Böhme, Sascha and Mehlhorn, Kurt and Rizkallah, Christine
(2013) A Framework for the Verification of Certifying Computations.
Journal of Automated Reasoning. pp. 1-33.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item