Publication Overview

Lars Noschinski and Christine Rizkallah and Kurt Mehlhorn

Verification of Certifying Computations through AutoCorres and Simpl

Published in: NASA Formal Methods
Year: 2014
Pages: 46-61