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