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

Jakobs, Marie-Christine

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}
}