Kick, A. (1996). Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung.
Chicago-Zitierstil (17. Ausg.)Kick, Alexander. Generierung Von Gegenbeispielen Und Zeugen Bei Der Modellprüfung. 1996.
MLA-Zitierstil (9. Ausg.)Kick, Alexander. Generierung Von Gegenbeispielen Und Zeugen Bei Der Modellprüfung. 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.