Integrierter Deduktiver Software-Entwurf

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt. Integrierter Deduktiver Software-Entwurf. KI, 12(4):40-41, 1998.

Abstract

Abstract is missing.