Entwicklung zuverlässiger Informationssysteme

(no abstract present)