Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften

Bernhard Hohlfeld. Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften. In Andreas Pfitzmann, Eckart Raubold, editors, VIS 91, Verläßliche Informationssysteme, GI-Fachtagung, Darmstadt, 13.-15. März 1991, Proceedings. Volume 271 of Informatik-Fachberichte, pages 227-242, Springer, 1991.

Abstract

Abstract is missing.