2014-01-01

Verification of Certifying Computations through AutoCorres and Simpl

Tags

Vertrauenswürdige Informationsverarbeitung

Konferenz / Medium

Proc. 6th NASA Formal Methods Symposium (NFM 2014)

Veröffentlichungsdatum

2014-01-01

Letztes Änderungsdatum

2019-07-18 12:09:27

Autor:innen

Lars Noschinski
Christine Rizkallah
Kurt Mehlhorn

Herunterladen