@inproceedings{mci/Keller2009,
author = {Keller, Hubert B. AND Dencker, Peter},
title = {FG Ada: Bericht und Beiträge vom Workshop Entwicklung zuverlässiger Software-Systeme, 18 Juni 2009, Hochschule Regensburg},
booktitle = {Softwaretechnik-Trends Band 29, Heft 3},
year = {2009},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}