Verification of Certifying Computations through AutoCorres and Simpl

Noschinski, Lars and Rizkallah, Christine and Mehlhorn, Kurt
(2014) Verification of Certifying Computations through AutoCorres and Simpl.
In: Proc. 6th NASA Formal Methods Symposium (NFM 2014).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item