Endres, A. (1977). Analyse und Verifikation von Programmen: Systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software. Munchen Wien: R. Oldenbourg.
Chicago Style CitationEndres, Albert. Analyse Und Verifikation Von Programmen: Systematische Verfahren Und Untersuchungen Zur Erstellung Fehlerfreier Software. Munchen Wien: R. Oldenbourg, 1977.
MLA CitationEndres, Albert. Analyse Und Verifikation Von Programmen: Systematische Verfahren Und Untersuchungen Zur Erstellung Fehlerfreier Software. Munchen Wien: R. Oldenbourg, 1977.
Warning: These citations may not always be 100% accurate.