Sommer, W. SPESY, ein interaktives System zur Unterstützung integrierter Programm-Spezifikation und -Verifikation. Univ.
Chicago-Zitierstil (17. Ausg.)Sommer, Walter. SPESY, Ein Interaktives System Zur Unterstützung Integrierter Programm-Spezifikation Und -Verifikation. Kaiserslautern: Univ.
MLA-Zitierstil (9. Ausg.)Sommer, Walter. SPESY, Ein Interaktives System Zur Unterstützung Integrierter Programm-Spezifikation Und -Verifikation. Univ.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.