On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
Author:
- Citation
- BibTeX
Jakobs, M.-C.,
(2018).
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring.
In:
Hölldobler, S.
(Hrsg.),
Ausgezeichnete Informatikdissertationen 2017.
Bonn:
Gesellschaft für Informatik e.V..
(S. 91-100).
@inproceedings{mci/Jakobs2018,
author = {Jakobs, Marie-Christine},
title = {On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
year = {2018},
editor = {Hölldobler, Steffen} ,
pages = { 91-100 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Jakobs, Marie-Christine},
title = {On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
year = {2018},
editor = {Hölldobler, Steffen} ,
pages = { 91-100 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Dateien | Groesse | Format | Anzeige | |
---|---|---|---|---|
invited_paper_14.pdf | 158.2Kb | View/ |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-977-1
xmlui.MetaDataDisplay.field.date: 2018
Language:
(de)

Content Type: Text/Conference Paper