Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon

Abstract

Sorry, we couldn't extract an abstract for this paper.

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.