2013-01-01

A Framework for the Verification of Certifying Computations

Tags

Vertrauenswürdige Informationsverarbeitung

Konferenz / Medium

Veröffentlichungsdatum

2013-01-01

Letztes Änderungsdatum

2019-07-18 12:09:27

Autor:innen

Eyad Alkassar
Sascha Böhme
Kurt Mehlhorn
Christine Rizkallah

Herunterladen