Media type: Book; Thesis Title: Formal methods and the development of dependable systems Contributor: Peleska, Jan [Author] imprint: Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9612 Extent: VIII, 170 S.; graph. Darst Language: English Keywords: Systementwurf > Zuverlässigkeit > Formale Methode Origination: University thesis: Zugl.: Kiel, Univ., Habil.-Schr. Footnote: