APA (7th ed.) Citation

Kowalk, W. P. (1993). Korrekte Software. Semantik, Spezifikation, Verifikation und Testen von Programmen ([1. Aufl.].). Bibliographisches Institut.

Chicago Style (17th ed.) Citation

Kowalk, Wolfgang Peter. Korrekte Software. Semantik, Spezifikation, Verifikation Und Testen Von Programmen. [1. Aufl.]. Mannheim: Bibliographisches Institut, 1993.

MLA (9th ed.) Citation

Kowalk, Wolfgang Peter. Korrekte Software. Semantik, Spezifikation, Verifikation Und Testen Von Programmen. [1. Aufl.]. Bibliographisches Institut, 1993.