Logo des Repositoriums
 
Konferenzbeitrag

On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2018

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Jakobs, Marie-Christine (2018): On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Ausgezeichnete Informatikdissertationen 2017. Bonn: Gesellschaft für Informatik e.V.. ISBN: 978-3-88579-977-1. pp. 91-100. Schoss Dagstuhl, Deutschland. 6.-9.Mai 2018

Schlagwörter

Zitierform

DOI

Tags