@inproceedings{mci/Keller2016,
author = {Keller, Hubert B. AND Dencker, Peter},
title = {FG ADA: 5. Workshop Entwicklung zuverlässiger Software-Systeme 2016 09. Juni 2016, TechBase Regensburg},
booktitle = {Softwaretechnik-Trends Band 36, Heft 3},
year = {2016},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}