ISSE

Search

KORSO: Das Verbundprojekt "Korrekte Software"

H. Hußmann, J. Loeckx, and W. Reif

KORSO: Das Verbundprojekt "Korrekte Software"

published 1993 in: GI-Jahrestagung, Dresden Informatik Fachberichte

Publisher: Springer