Jakobs, Marie-ChristineHölldobler, Steffen2019-01-142019-01-142018978-3-88579-977-1https://dl.gi.de/handle/20.500.12116/19486deOn-The-Fly Safety Checking - Customizing Program Certification and Program RestructuringText/Conference Paper