Programmverifikation

Schneider HJ (1986)

Publication Language: German

Publication Type: Journal article, Original article

Publication year: 1986

Journal

Computer-Magazin Basten

Publisher: Basten

Pages Range: 50-55

Journal Issue: 4

Authors with CRIS profile

Hans Jürgen Schneider Lehrstuhl für Informatik 2 (Programmiersysteme)

How to cite

APA:

Schneider, H.J. (1986). Programmverifikation. Computer-Magazin, 4, 50-55.

MLA:

Schneider, Hans Jürgen. "Programmverifikation." Computer-Magazin 4 (1986): 50-55.

BibTeX: Download