APA (7th ed.) Citation

Schweizer, D. T. (1997). Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon ([Mikrofiche-Ausg.].).

Chicago Style (17th ed.) Citation

Schweizer, Daniel T. Verifikation Von Implementationen Abstrakter Datentypen Für Sicherheitskritische Systeme Am Beispiel Von Oberon. [Mikrofiche-Ausg.]. 1997.

MLA (9th ed.) Citation

Schweizer, Daniel T. Verifikation Von Implementationen Abstrakter Datentypen Für Sicherheitskritische Systeme Am Beispiel Von Oberon. [Mikrofiche-Ausg.]. 1997.