ISSE

Search

Der Karlsruhe Interactive Verifier (KIV). Eine Übersicht

M. Heisel, W. Menzel, W. Reif, and W. Stephan

Der Karlsruhe Interactive Verifier (KIV). Eine Übersicht

published 1990 in: Heidelberg H. Kersten, editor, Sichere Software, Formale Spezifikation und Verifikation vertrauenswürdiger Systeme

Publisher: Hütig Verlag